From c4f85702f27d484b3cf8a09627c5cd5bd3ff2b6e Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 11 Dec 2003 19:42:29 +0000
Subject: Mis-a-jour modules, ajout de Import et Export

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

(limited to 'doc/Reference-Manual.tex')

diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index f272a04f6d..8eb7f3eb08 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -17,7 +17,7 @@
 \fi
 
 
-%\includeonly{RefMan-cic.v,RefMan-ext.v}
+%\includeonly{RefMan-cic.v,RefMan-ext.v,RefMan-modr}
 
 \input{./version.tex}
 \input{./macros.tex}% extension .tex pour htmlgen
-- 
cgit v1.2.3