From a1fa5ceaf8e084411ce60bf5e38b24ee4e857f6d Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 19 Dec 2003 08:45:37 +0000
Subject: oups

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8416 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Reference-Manual.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index 7a5c5eca40..229fb4524b 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -18,7 +18,7 @@
 \fi
 
 
-\includeonly{RefMan-tac.v,RefMan-tacex.v}
+%\includeonly{RefMan-tac.v,RefMan-tacex.v}
 
 \input{./version.tex}
 \input{./macros.tex}% extension .tex pour htmlgen
-- 
cgit v1.2.3