Add Makefile modified for sphinx.

diff --git a/Makefile b/Makefile
index 5ddf6b68756053a3ccf7e0c0bdbd8266d717755f..9b8698796464d9b16c4ec9f1ab84d3a47491eb88 100644 (file)
--- 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)