diff options
| author | Alexandre Flament <alex@al-f.net> | 2023-03-02 18:37:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-02 18:37:25 +0100 |
| commit | abd2d8605eae4f73b9e3f6445aa8f34dbd4ce38c (patch) | |
| tree | 62f1c30f94681dc79ebedcacff016f381137c98d | |
| parent | 714e83d5ea95f73c5a818adde7b04611e669dfa6 (diff) | |
| parent | 0c725109e812e71b778e1fccc284930e0997a6fb (diff) | |
Merge pull request #2231 from return42/fix-docs_prebuild
[fix] make docs: NameError: name 'DOC' is not defined
| -rwxr-xr-x | searxng_extra/docs_prebuild | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/searxng_extra/docs_prebuild b/searxng_extra/docs_prebuild index c7982a047..220bafca9 100755 --- a/searxng_extra/docs_prebuild +++ b/searxng_extra/docs_prebuild @@ -78,7 +78,6 @@ def _instance_infosetset_ctx(base_url): # found .. time.sleep(3) - return DOC if __name__ == '__main__': |