From 4cfc14d5f43bf7f30b480f41b6ad80ccd597f806 Mon Sep 17 00:00:00 2001 From: Blaise Laflamme Date: Sun, 16 Sep 2012 00:29:38 -0300 Subject: [PATCH] Update Makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 6951245..1823e30 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ help: clean: -rm -rf $(BUILDDIR)/* -html: _themes +html: themes $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." @@ -61,7 +61,7 @@ json: @echo @echo "Build finished; now you can process the JSON files." -htmlhelp: _themes +htmlhelp: themes $(SPHINXBUILD) -b htmlhelp $(ALLSPHINXOPTS) $(BUILDDIR)/htmlhelp @echo @echo "Build finished; now you can run HTML Help Workshop with the" \ @@ -130,6 +130,6 @@ doctest: "results in $(BUILDDIR)/doctest/output.txt." _themes: - git submodule update --init + git submodule update --init --recursive