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

AA-Turner · web-flow · commit 566ca52820fc · 2024-10-03T00:13:25.000+01:00
This lets us see which steps are taking more time in sphinx. Quiet mode was originally added in 8d82617.
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(
