From 49b34ac9bf0e6f5074aff1299e4a2ce0fc6d8c3b Mon Sep 17 00:00:00 2001 From: Blaise Laflamme Date: Wed, 12 Sep 2012 15:56:00 -0400 Subject: [PATCH] fixend themes naming in makefile --- docs/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index bfcdf51..1fdd41c 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -41,7 +41,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." @@ -66,7 +66,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" \ @@ -152,6 +152,7 @@ doctest: @echo "Testing of doctests in the sources finished, look at the " \ "results in $(BUILDDIR)/doctest/output.txt." -_themes: +themes: + @echo "Updating _themes git submodule" cd ..; git submodule update --init --recursive; cd docs;