feat(docs): add "Edit on GitHub" link to all manuals

admin_manual/conf.py

@@ -3,3 +3,5 @@
 import datetime
 sys.path.insert(0, os.path.abspath('../'))
 from conf import *
+
+html_context = {**html_context, 'conf_py_path': '/admin_manual/'}

conf.py

@@ -31,6 +31,16 @@
 }
 html_extra_path = ['html']
 
+# "Edit on GitHub" link shown at the top of each page by sphinx_rtd_theme.
+# Each manual overrides conf_py_path with its own directory.
+html_context = {
+    'display_github': True,
+    'github_user': 'LibreSign',
+    'github_repo': 'documentation',
+    'github_version': 'main',
+    'conf_py_path': '/',
+}
+
 # -- Options for sphinx-notfound-page extension -----------------------------------
 # https://github.com/readthedocs/sphinx-notfound-page
 

developer_manual/conf.py

@@ -3,3 +3,5 @@
 import datetime
 sys.path.insert(0, os.path.abspath('../'))
 from conf import *
+
+html_context = {**html_context, 'conf_py_path': '/developer_manual/'}

main/conf.py

@@ -3,3 +3,5 @@
 import datetime
 sys.path.insert(0, os.path.abspath('../'))
 from conf import *
+
+html_context = {**html_context, 'conf_py_path': '/main/'}

user_manual/conf.py

@@ -3,3 +3,5 @@
 import datetime
 sys.path.insert(0, os.path.abspath('../'))
 from conf import *
+
+html_context = {**html_context, 'conf_py_path': '/user_manual/'}