diff options
| -rw-r--r-- | Makefile.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc index e4b1d5f43c..788e4e61e7 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -67,7 +67,7 @@ sphinx-%: $(SPHINX_DEPS) sphinx-pdf: sphinx-latex +$(MAKE) -C $(SPHINXBUILDDIR)/latex -sphinx: +sphinx: $(SPHINX_DEPS) +$(MAKE) sphinx-html +$(MAKE) sphinx-pdf |