Added 'publish' target for docs Makefile which builds html documentation and copies it to the root

zilder · zilder · commit 5f11a54033bd · 2018-03-23T12:34:43.000+03:00
diff --git a/docs/Makefile b/docs/Makefile
@@ -17,4 +17,7 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+publish: html
+	cp -r $(BUILDDIR)/html/* ..
