diff options
| author | Martin Fischer <martin@push-f.com> | 2022-01-05 19:46:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-05 19:46:00 +0100 |
| commit | 160f3e022e1774f3a25a9f5e0cf36ec34976cdad (patch) | |
| tree | 1f935d47da7f89298dc4882cfd875d0dea3e433e /docs/dev/searxng_extra/index.rst | |
| parent | 9004e84b6e33c0a64fc6f4413734c9bdfdb118f6 (diff) | |
| parent | 295876abaa93b8dea44dc0beaf8eb2596da69aed (diff) | |
Merge pull request #683 from return42/fix-doc
Document & Pylint scripts in searxng_extra/update
Diffstat (limited to 'docs/dev/searxng_extra/index.rst')
| -rw-r--r-- | docs/dev/searxng_extra/index.rst | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/dev/searxng_extra/index.rst b/docs/dev/searxng_extra/index.rst index f38bb3154..c2b5c312b 100644 --- a/docs/dev/searxng_extra/index.rst +++ b/docs/dev/searxng_extra/index.rst @@ -1,14 +1,15 @@ .. _searxng_extra: -====================================================== -Tooling box ``searxng_extra`` for developers and users -====================================================== +============================= +Tooling box ``searxng_extra`` +============================= -In the folder :origin:`searxng_extra/` we maintain some tools useful for +In the folder :origin:`searxng_extra/` we maintain some tools useful for CI and developers. .. toctree:: :maxdepth: 2 :caption: Contents + update standalone_searx.py |