summaryrefslogtreecommitdiff
path: root/docs/user/conf.py
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2020-12-27 09:47:49 +0100
committerGitHub <noreply@github.com>2020-12-27 09:47:49 +0100
commit1ba53e6129f70d31f1af72993ce131de7f21e653 (patch)
treea7cb7acbf478685cfb0d2a55be54685229c6cd95 /docs/user/conf.py
parent1956ab4b505a3d2d465331ff1d9e142d2e45a8f4 (diff)
parent3beede7ab7c3d1c958d5916496603695664bc50e (diff)
Merge pull request #2420 from return42/fix-sphinx-book-targets
fix makefile `books/{name}.*` targets and add documentation about these targets
Diffstat (limited to 'docs/user/conf.py')
-rw-r--r--docs/user/conf.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/user/conf.py b/docs/user/conf.py
index 53ade4b63..da2e27533 100644
--- a/docs/user/conf.py
+++ b/docs/user/conf.py
@@ -4,6 +4,8 @@
project = 'Searx User-HB'
version = release = VERSION_STRING
+intersphinx_mapping['searx'] = (DOCS_URL, None)
+
# Grouping the document tree into LaTeX files. List of tuples
# (source start file, target name, title,
# author, documentclass [howto, manual, or own class]).