diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-13 14:57:07 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2019-12-13 14:57:07 +0100 |
| commit | 97b86fd184e81263b818dfd2168385c2e60f327a (patch) | |
| tree | 1bef14c2ac39c8cbc562f62e911ab99595cc2a9f /docs/conf.py | |
| parent | 121f6964602d7717185df12c9ecd69387aad1d2d (diff) | |
| download | searxng-97b86fd184e81263b818dfd2168385c2e60f327a.tar.gz searxng-97b86fd184e81263b818dfd2168385c2e60f327a.zip | |
doc: document the new reST & gh-pages workflow
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5186d0123..c0bd246ac 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -6,6 +6,7 @@ from pallets_sphinx_themes import ProjectLink GIT_URL = os.environ.get("GIT_URL", "https://github.com/asciimoo/searx") SEARX_URL = os.environ.get("SEARX_URL", "https://searx.me") +DOCS_URL = os.environ.get("DOCS_URL", "https://asciimoo.github.io/searx/") # Project -------------------------------------------------------------- @@ -30,6 +31,7 @@ extlinks['pull'] = ('https://github.com/asciimoo/searx/pull/%s', 'PR ') extlinks['origin'] = (GIT_URL + '/blob/master/%s', 'git://') extlinks['patch'] = (GIT_URL + '/commit/%s', '#') extlinks['search'] = (SEARX_URL + '/%s', '#') +extlinks['docs'] = (DOCS_URL + '/%s', 'docs: ') extensions = [ 'sphinx.ext.extlinks', |