Run sphinx-build with the default verbosity level (#212)

This lets us see which steps are taking more time in sphinx. Quiet mode was originally added in 8d82617.
python · Oct 2, 2024 · 566ca52 · 566ca52
1 parent a1c7fb8
commit 566ca52
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/build_docs.py b/build_docs.py
@@ -704,7 +704,6 @@ def build(self):
         logging.info("Build start.")
         start_time = perf_counter()
         sphinxopts = list(self.language.sphinxopts)
-        sphinxopts.extend(["-q"])
         if self.language.tag != "en":
             locale_dirs = self.build_root / self.version.name / "locale"
             sphinxopts.extend(