jandieman
/
searxng
mirror of https://github.com/searxng/searxng.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2231 from return42/fix-docs_prebuild 

[fix] make docs: NameError: name 'DOC' is not defined
This commit is contained in:
Alexandre Flament 2023-03-02 18:37:25 +01:00 committed by GitHub
parent 714e83d5ea 0c725109e8
commit abd2d8605e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
searxng_extra/docs_prebuild
View File

@ -78,7 +78,6 @@ def _instance_infosetset_ctx(base_url):
# found .. # found ..
time.sleep(3) time.sleep(3)
return DOC
if __name__ == '__main__': if __name__ == '__main__':