diff options
| author | Alexandre Flament <alex@al-f.net> | 2022-06-06 10:59:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-06 10:59:11 +0200 |
| commit | ea0cddba0b9366326eaebc0a3a55502a17e5baf4 (patch) | |
| tree | 48fce3b938e37d81c048ca7a7430d5e9b6f2980b /docs/conf.py | |
| parent | d633c1c6f1cff35ba740e97a0796bb8b0f315f3f (diff) | |
| parent | 1a8ff10e300f60e4221a33caf2018a636e1b2f09 (diff) | |
Merge pull request #1047 from return42/redis-lib
Add a redis library to generalize DB functions we need in SearXNG.
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 0e2244a2e..86ec2e460 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -139,6 +139,7 @@ intersphinx_mapping = { "jinja": ("https://jinja.palletsprojects.com/", None), "linuxdoc" : ("https://return42.github.io/linuxdoc/", None), "sphinx" : ("https://www.sphinx-doc.org/en/master/", None), + "redis": ('https://redis.readthedocs.io/en/stable/', None), } issues_github_path = "searxng/searxng" |