doco: Fix search not working in local user manual

johnnovak · Aug 22, 2024 · 2fe7895 · 2fe7895
1 parent 77cf754
commit 2fe7895
Showing 1 changed file with 1 addition and 12 deletions.
diff --git a/sphinx-docs/Makefile b/sphinx-docs/Makefile
@@ -36,18 +36,7 @@ build_site: gen_html
 build_manual: gen_html
 	rm -rf "$(MANUALDIR)"
 	mkdir -p "$(MANUALDIR)"
-	cp "$(BUILDDIR)/html/"*html "$(MANUALDIR)"
-	cp -R $(BUILDDIR)/html/appendixes "$(MANUALDIR)/appendixes"
-
-	mkdir -p "$(MANUALDIR)/_static/css"
-	cp -R "$(BUILDDIR)/html/_static/css/docs.css" "$(MANUALDIR)/_static/css"
-	cp -R "$(BUILDDIR)/html/_static/css/glightbox.min.css" "$(MANUALDIR)/_static/css"
-
-	cp -R "$(BUILDDIR)/html/_static/font" "$(MANUALDIR)/_static"
-	cp -R "$(BUILDDIR)/html/_static/js" "$(MANUALDIR)/_static"
-
-	mkdir "$(MANUALDIR)/_static/img"
-	cp "$(BUILDDIR)/html/_static/img/"*.png "$(MANUALDIR)/_static/img"
+	cp -R "$(BUILDDIR)/html/"* "$(MANUALDIR)"
 
 	rm "$(MANUALDIR)/index.html"
 	mv "$(MANUALDIR)/contents.html" "$(MANUALDIR)/index.html"