This has the side effect of always rebuilding the doc at each build when gtk_doc option is enabled (not by default). Most importantly, this will enable doc check on our CI.