aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile10
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 5f88b708..f4356f43 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,8 @@
-include config.mk
+SPHINX_BUILD ?= sphinx-build
-XML_DOC = haddock
-INSTALL_XML_DOC = haddock
+all : html
-include docbook-xml.mk
+.PHONY : html
+
+html :
+ $(SPHINX_BUILD) -b html . .build-html