docs: Run make links on readthedocs.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>
mithro · Apr 4, 2019 · ec7371b · ec7371b
1 parent 6451f6e
commit ec7371b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -106,6 +106,12 @@
 # Enable github links when not on readthedocs
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 if not on_rtd:
+    import subprocess
+    subprocess.check_call(
+        'make links',
+        cwd=os.path.abspath(os.path.dirname(__file__)),
+        shell=True)
+
     html_context = {
         "display_github": True,  # Integrate GitHub
         "github_user": "symbiflow",  # Username