Show elapsed time for build and publishing

Author: hugovk

build_docs.py

@@ -702,6 +702,7 @@ def translation_branch(self):
     def build(self):
         """Build this version/language doc."""
         logging.info("Build start.")
+        start_time = perf_counter()
         sphinxopts = list(self.language.sphinxopts)
         sphinxopts.extend(["-q"])
         if self.language.tag != "en":
@@ -778,7 +779,7 @@ def is_mac():
         setup_switchers(
             self.versions, self.languages, self.checkout / "Doc" / "build" / "html"
         )
-        logging.info("Build done.")
+        logging.info("Build done (%.1f minutes).", (perf_counter() - start_time) / 60)
 
     def build_venv(self):
         """Build a venv for the specific Python version.
@@ -800,6 +801,7 @@ def build_venv(self):
     def copy_build_to_webroot(self):
         """Copy a given build to the appropriate webroot with appropriate rights."""
         logging.info("Publishing start.")
+        start_time = perf_counter()
         self.www_root.mkdir(parents=True, exist_ok=True)
         if self.language.tag == "en":
             target = self.www_root / self.version.name
@@ -912,7 +914,9 @@ def copy_build_to_webroot(self):
             purge(*prefixes)
             for prefix in prefixes:
                 purge(*[prefix + p for p in changed])
-        logging.info("Publishing done")
+        logging.info(
+            "Publishing done (%.1f minutes).", (perf_counter() - start_time) / 60
+        )
 
     def should_rebuild(self):
         state = self.load_state()