path: root/doc/Makefile
diff options
authorNicolas Dechesne <nicolas.dechesne@linaro.org>2020-10-05 16:40:54 +0200
committerNicolas Dechesne <nicolas.dechesne@linaro.org>2020-10-05 16:40:54 +0200
commita7c47f1eac8caac607a2b5f12d07235dff4d740f (patch)
treeaa6ba58966bacf6ad32cce286481a63eddfa6754 /doc/Makefile
parent427721d8ff2c8e1db8cb490074f2eed88d03852a (diff)
sphinx: rename Makefile.sphinx
Now that the DocBook files are removed, we can rename the top level Makefile. Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
Diffstat (limited to 'doc/Makefile')
1 files changed, 35 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 00000000..4d721d30
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,35 @@
+# Minimal makefile for Sphinx documentation
+# You can set these variables from the command line, and also
+# from the environment for the first two.
+SPHINXBUILD ?= sphinx-build
+BUILDDIR = _build
+DESTDIR = final
+ifeq ($(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi),0)
+$(error "The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed")
+# Put it first so that "make" without argument is like "make help".
+.PHONY: help Makefile clean publish
+publish: Makefile html singlehtml
+ rm -rf $(BUILDDIR)/$(DESTDIR)/
+ mkdir -p $(BUILDDIR)/$(DESTDIR)/
+ cp -r $(BUILDDIR)/html/* $(BUILDDIR)/$(DESTDIR)/
+ cp $(BUILDDIR)/singlehtml/index.html $(BUILDDIR)/$(DESTDIR)/singleindex.html
+ sed -i -e 's@index.html#@singleindex.html#@g' $(BUILDDIR)/$(DESTDIR)/singleindex.html
+ @rm -rf $(BUILDDIR)
+# Catch-all target: route all unknown targets to Sphinx using the new
+# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
+%: Makefile