From 41129a8d695574d0a9793aa2f4e5adb09126d9fb Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 16 Sep 2002 11:08:12 +0000
Subject: Un peu plus de flexibilité pour la position du '.' final

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

diff --git a/tools/coq-tex.ml4 b/tools/coq-tex.ml4
index 541777d6e4..adc53890dc 100644
--- a/tools/coq-tex.ml4
+++ b/tools/coq-tex.ml4
@@ -76,7 +76,7 @@ let begin_coq_example =
 let begin_coq_eval = Str.regexp "\\\\begin{coq_eval}[ \t]*$"
 let end_coq_example = Str.regexp "\\\\end{coq_\(example\|example\*\|example\#\)}[ \t]*$"
 let end_coq_eval = Str.regexp "\\\\end{coq_eval}[ \t]*$"
-let dot_end_line = Str.regexp "\\.[ \t]*$"
+let dot_end_line = Str.regexp "\\.[ \t]*\((\*.*\*)\)?[ \t]*$"
 
 let has_match r s =
   try let _ = Str.search_forward r s 0 in true with Not_found -> false
-- 
cgit v1.2.3