X-Git-Url: https://git.libre-soc.org/?p=ieee754fpu.git;a=blobdiff_plain;f=Makefile;h=c32d0657641e3d49590c649dd78db0f4de7e9113;hp=5ddf6b68756053a3ccf7e0c0bdbd8266d717755f;hb=HEAD;hpb=ce11134e052322c164595fcc1138a454aa80eeb1

diff --git a/Makefile b/Makefile
index 5ddf6b68..9b869879 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
 PYTHON3 ?= "python3"
 
+.PHONY: help gitupdate Makefile install test htmlupload
+
 gitupdate:
 	git submodule init
 	git submodule update --recursive
@@ -12,3 +14,30 @@ test:
 
 pypiupload:
 	$(PYTHON3) setup.py sdist upload
+
+# Minimal makefile for Sphinx documentation
+#
+
+# You can set these variables from the command line.
+SPHINXOPTS    =
+SPHINXBUILD   = sphinx-build
+SPHINXPROJ    = ieee754fpu
+SOURCEDIR     = .
+BUILDDIR      = build
+
+# Put it first so that "make" without argument is like "make help".
+help:
+	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+# copies all documentation to libre-soc (libre-soc admins only)
+htmlupload: clean html
+	rsync -HPavz --delete build/html/* \
+        libre-soc.org:/var/www/libre-soc.org/docs/ieee754fpu/
+
+# Catch-all target: route all unknown targets to Sphinx using the new
+# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
+%: Makefile
+	echo "catch-all falling through to sphinx for document building"
+	mkdir -p "$(SOURCEDIR)"/src/gen
+	sphinx-apidoc --ext-autodoc -o "$(SOURCEDIR)"/src/gen ./src/ieee754
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)