diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-12-24 13:55:22 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-12-24 13:55:22 +0100 |
| commit | 3beede7ab7c3d1c958d5916496603695664bc50e (patch) | |
| tree | a977a5d090b418583606b13f552c978bb07859e9 /docs/user/conf.py | |
| parent | aace837665aeb30ff1e9c2895ffc92465341b97a (diff) | |
[doc] describe 'make books/{name}.html' and 'books/{name}.pdf'
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/user/conf.py')
| -rw-r--r-- | docs/user/conf.py | 2 |
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]). |