From 59c9403ceb09a35ed219b522e9f5abdb50615d76 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 12 Apr 2012 20:49:01 +0000
Subject: lib directory is cut in 2 cma.

 - Clib that does not depend on camlpX and is made to be shared by all coq
   tools/scripts/...
 - Lib that is Coqtop specific

As a side effect for the build system :
 - Coq_config is in Clib and does not appears in makefiles
 - only the BEST version of coqc and coqmktop is made
 - ocamlbuild build system fails latter but is still broken

(ocamldebug finds automatically Unix but not Str. I've probably done something wrong here.)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15144 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-com.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-com.tex b/doc/refman/RefMan-com.tex
index bcc68c78d9..3bf9e7cb55 100644
--- a/doc/refman/RefMan-com.tex
+++ b/doc/refman/RefMan-com.tex
@@ -207,7 +207,7 @@ Section~\ref{LongNames}).
   some standard axioms of classical mathematics such as the functional
   axiom of choice or the principle of description
 
-\item[{\tt -compat} {\em version}] \null
+\item[{\tt -compat} {\em version}] \mbox{}
 
   Attempt to maintain some of the incompatible changes in their {\em version}
   behavior.
@@ -239,7 +239,7 @@ Section~\ref{LongNames}).
   Proofs of opaque theorems are loaded in memory as soon as the
   corresponding {\tt Require} is done. This used to be Coq's default behavior.
 
-\item[{\tt -no-hash-consing}] \null
+\item[{\tt -no-hash-consing}] \mbox{}
 
 \item[{\tt -vm}]\ 
 
-- 
cgit v1.2.3