From d0f3769e208d1ae48b39e07f52fb7a97ba31c8fe Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 5 Dec 2003 07:57:30 +0000
Subject: maj

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

diff --git a/doc/RefMan.txt b/doc/RefMan.txt
index 752462670e..3c3d88ba8e 100644
--- a/doc/RefMan.txt
+++ b/doc/RefMan.txt
@@ -34,7 +34,7 @@ MANUEL DE REFERENCE
 \part{Practical tools}
 \include{RefMan-com}% The coq commands (coqc coqtop)		HH
 %%ajouter nouvelles options -v7 -translate au document de passage
-\include{RefMan-uti}% utilities (gallina, do_Makefile, etc)	JCF
+\include{RefMan-uti}% utilities (gallina, do_Makefile, etc)	JCF -fait
 \include{RefMan-ide}%CoqIde					CM
 
 \include{AddRefMan-pre}%					CP
-- 
cgit v1.2.3