From 8aaa41f4ceb94a571650b3572c0588343117d6b0 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 21 Sep 2001 10:59:59 +0000
Subject: make doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2041 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile               | 4 ++--
 library/opaque.mli     | 2 +-
 tactics/tacentries.mli | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 74b5227aa5..5fb3bb2c94 100644
--- a/Makefile
+++ b/Makefile
@@ -673,8 +673,8 @@ LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY) \
 	  $(LPPRETYPING) $(LPPROOFS) $(LPTACTICS) $(LPTOPLEVEL)
 
 doc/coq.tex: $(LPFILES)
-#	ocamlweb -p "\usepackage{epsfig}" $(LPFILES) -o doc/coq.tex
-	ocamlweb $(LPFILES) -o doc/coq.tex
+	ocamlweb -p "\usepackage{epsfig}" $(LPFILES) -o doc/coq.tex
+#	ocamlweb $(LPFILES) -o doc/coq.tex
 
 clean::
 	rm -f doc/coq.tex
diff --git a/library/opaque.mli b/library/opaque.mli
index 47427a67b4..7277cb66f8 100644
--- a/library/opaque.mli
+++ b/library/opaque.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-(*i $Id$ *)
+(*i $Id$ i*)
 
 (*i*)
 open Names
diff --git a/tactics/tacentries.mli b/tactics/tacentries.mli
index 8d8a664dd7..70266c09f9 100644
--- a/tactics/tacentries.mli
+++ b/tactics/tacentries.mli
@@ -44,10 +44,10 @@ val v_specialize    : tactic_arg list -> tactic
 val v_elim          : tactic_arg list -> tactic
 val v_elimType      : tactic_arg list -> tactic
 val v_induction     : tactic_arg list -> tactic
-(*val v_new_induction : tactic_arg list -> tactic*)
+(*i val v_new_induction : tactic_arg list -> tactic i*)
 val v_case          : tactic_arg list -> tactic
 val v_caseType      : tactic_arg list -> tactic
 val v_destruct      : tactic_arg list -> tactic
-(*val v_new_destruct  : tactic_arg list -> tactic*)
+(*i val v_new_destruct  : tactic_arg list -> tactic i*)
 val v_fix           : tactic_arg list -> tactic
 val v_cofix         : tactic_arg list -> tactic
-- 
cgit v1.2.3