From 556bcae1d29707b21a527a134d38a94623abf5dd Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Fri, 6 Apr 2018 16:32:36 +0200
Subject: Sphinx: a "QUICK=1" option to bypass recompilation of the library.

---
 Makefile.doc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index d13d0c09e..41ae11b86 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -49,7 +49,11 @@ DOCCOMMON:=doc/common/version.tex doc/common/title.tex doc/common/macros.tex
 
 doc: sphinx stdlib
 
-sphinx: coq
+ifndef QUICK
+SPHINX_DEPS := coq
+endif
+
+sphinx: $(SPHINX_DEPS)
 	$(SHOW)'SPHINXBUILD doc/sphinx'
 	$(HIDE)COQBIN="$(PWD)/bin" $(SPHINXBUILD) -W -b html $(ALLSPHINXOPTS) doc/sphinx $(SPHINXBUILDDIR)/html
 	@echo
-- 
cgit v1.2.3