Merge pull request #930 from return42/merge-user-doc2

Integrate the user documentation into the application

1 files changed, 1 insertions, 0 deletions

diff --git a/manage b/manage
index 678f64017..e70b7f4dd 100755
--- a/manage
+++ b/manage
@@ -419,6 +419,7 @@ docs.prebuild() {
         ./utils/searx.sh doc   | cat > "${DOCS_BUILD}/includes/searx.rst"
         ./utils/filtron.sh doc | cat > "${DOCS_BUILD}/includes/filtron.rst"
         ./utils/morty.sh doc   | cat > "${DOCS_BUILD}/includes/morty.rst"
+        pyenv.cmd searxng_extra/docs_prebuild
     )
     dump_return $?
 }