diff options
| author | Théo Zimmermann | 2018-09-19 13:45:01 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 16:02:43 +0200 |
| commit | d54ed424bf0c73f6341cdb22130739011af4a356 (patch) | |
| tree | b99f94ca43879c7fb21607e872926adba5cc4b44 /Makefile.doc | |
| parent | 9320056b8572bc8ac0514a5f72885cbd0d228e87 (diff) | |
Fix race condition.
Diffstat (limited to 'Makefile.doc')
| -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 |