Build sphinx-singlehtml by default

Villavu · Jul 16, 2016 · 376d3ac · 376d3ac
1 parent 22485e9
commit 376d3ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -2,7 +2,7 @@
 
 default: all
 all:     sphinx
-sphinx:  sphinx-html sphinx-pdf
+sphinx:  sphinx-html sphinx-pdf sphinx-singlehtml
 
 pics:
 	$(MAKE) -C Pics/