Only warn about existing redirects if content differs.

QuLogic · QuLogic · commit 4035baf1f344 · 2021-03-12T05:13:39.000-05:00
This allows you to re-run doc builds without cleaning.
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -76,12 +76,14 @@ def _generate_redirects(app, exception):
         return
     for k, v in RedirectFrom.redirects.items():
         p = Path(app.outdir, k + builder.out_suffix)
+        html = HTML_TEMPLATE.format(v=v)
         if p.is_file():
-            logger.warning(f'A redirect-from directive is trying to create '
-                           f'{p}, but that file already exists (perhaps '
-                           f'you need to run "make clean")')
+            if p.read_text() != html:
+                logger.warning(f'A redirect-from directive is trying to '
+                               f'create {p}, but that file already exists '
+                               f'(perhaps you need to run "make clean")')
         else:
             p.parent.mkdir(parents=True, exist_ok=True)
             with p.open("x") as file:
                 logger.info(f'making refresh html file: {k} redirect to {v}')
-                file.write(HTML_TEMPLATE.format(v=v))
+                file.write(html)
