Allow building docs with older sphinx (#764)

The sphinx version provided by Ubuntu 18.04 doesn't have `add_css_file`. Even without it can still produce `man` files at least.
hapostgres · Jul 8, 2021 · 5e8a48e · 5e8a48e
1 parent 626d643
commit 5e8a48e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -109,8 +109,9 @@ def __init__(self, **options):
 
 # Add our custom CSS
 def setup(app):
-    app.add_css_file("css/citus.css")
-    app.add_css_file("css/pygments.css")
+    if hasattr(app, "add_css_file"):
+        app.add_css_file("css/citus.css")
+        app.add_css_file("css/pygments.css")
 
 
 # Add any paths that contain custom static files (such as style sheets) here,