1 files changed, 12 insertions, 0 deletions
diff --git a/manage b/manage
index a49ad0cfb..61bc68b74 100755
--- a/manage
+++ b/manage
@@ -314,6 +314,18 @@ format.python() {
     dump_return $?
 }
 
+docs.prebuild() {
+    build_msg DOCS "build ${DOCS_BUILD}/includes"
+    (
+        set -e
+        [ "$VERBOSE" = "1" ] && set -x
+        mkdir -p "${DOCS_BUILD}/includes"
+        ./utils/searxng.sh searxng.doc.rst >  "${DOCS_BUILD}/includes/searxng.rst"
+        pyenv.cmd searxng_extra/docs_prebuild
+    )
+    dump_return $?
+}
+
 # shellcheck disable=SC2119
 main() {