From 3101ff981d36359f74d5996447ba70f41398e72b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 16 May 2007 18:30:02 +0000
Subject: - MAJ entêtes des fichiers produits par coq_makefile - Correction de
 bugs dans la reconnaissance d'un "*)" potentiel dans   les lignes
 correspondant au mécanisme "section" de coqdoc

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

(limited to 'doc')

diff --git a/doc/refman/coqdoc.tex b/doc/refman/coqdoc.tex
index 63594a18f9..0e3cab3e61 100644
--- a/doc/refman/coqdoc.tex
+++ b/doc/refman/coqdoc.tex
@@ -104,7 +104,7 @@ combinations, e.g.
 
 \paragraph{Sections.}
 Sections are introduced by 1 to 4 leading stars (i.e. at the beginning of the
-line). One star is a section, two stars a sub-section, etc.
+line) followed by a space. One star is a section, two stars a sub-section, etc.
 The section title is given on the remaining of the line.
 Example:
 \begin{verbatim}
@@ -152,7 +152,7 @@ escape sequences:
 
 \paragraph{Verbatim.} 
 Verbatim material is introduced by a leading \verb+<<+ and closed by
-\verb+>>+. Example:
+\verb+>>+ at the beginning of a line. Example:
 \begin{verbatim}
 Here is the corresponding caml code:
 <<
-- 
cgit v1.2.3