summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files changed, 10 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 1d26ef187..fadf80cdc 100644
--- a/Makefile
+++ b/Makefile
@@ -60,13 +60,21 @@ run: pyenvinstall
# ----
PHONY += docs
-docs: pyenvinstall sphinx-doc
+
+docs: pyenvinstall sphinx-doc prebuild-includes
$(call cmd,sphinx,html,docs,docs)
PHONY += docs-live
-docs-live: pyenvinstall sphinx-live
+docs-live: pyenvinstall sphinx-live prebuild-includes
$(call cmd,sphinx_autobuild,html,docs,docs)
+prebuild-includes:
+ @mkdir -p $(DOCS_BUILD)/includes
+ @./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
+
+
$(GH_PAGES)::
@echo "doc available at --> $(DOCS_URL)"