From d54ed424bf0c73f6341cdb22130739011af4a356 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 19 Sep 2018 13:45:01 +0200
Subject: Fix race condition.

---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.doc')

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
 
-- 
cgit v1.2.3