From 2228cfd26f92c383c795fb6e34d641d3c4e9b83a Mon Sep 17 00:00:00 2001
From: lmamane
Date: Tue, 25 Aug 2009 19:05:59 +0000
Subject: Delegate _all_ doc targets to stage2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12293 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 5a2817e419..ccf79331d8 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -643,7 +643,11 @@ VO_TARGETS:=logic arith bool narith zarith qarith lists strings sets \
   funind cc subtac rtauto
 
 DOC_TARGETS:=doc doc-html doc-ps doc-pdf stdlib refman tutorial faq \
-  rectutorial refman-quick refman-nodep stdlib-nodep
+  rectutorial refman-quick refman-nodep stdlib-nodep \
+  install-doc install-doc-meta install-doc-html install-doc-printable install-doc-index-url \
+  ide/index_urls.txt
+
+DOC_TARGET_PATTERNS:=%.dvi %.ps %.eps %.pdf %.html %.v.tex %.hva
 
 STAGE2_TARGETS:=$(COQBINARIES) lib kernel byterun library proofs tactics \
   interp parsing pretyping highparsing toplevel hightactics \
@@ -653,7 +657,8 @@ STAGE2_TARGETS:=$(COQBINARIES) lib kernel byterun library proofs tactics \
   world install coqide coqide-files coq coqlib \
   coqlight states pcoq-files check init theories theories-light \
   $(DOC_TARGETS) $(VO_TARGETS) validate \
-  %.vo %.glob states/% install-% %.ml4-preprocessed
+  %.vo %.glob states/% install-% %.ml4-preprocessed \
+  $(DOC_TARGET_PATTERNS)
 
 ifndef CM_STAGE1
  STAGE2_TARGETS+=$(CAML_OBJECT_PATTERNS)
-- 
cgit v1.2.3