Merge branch 'v8.5'

1 files changed, 1 insertions, 1 deletions

diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml
index 7f2fe741e9..fc652f584c 100644
--- a/tools/coq_tex.ml
+++ b/tools/coq_tex.ml
@@ -68,7 +68,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]*\\((\\*.*\\*)\\)?[ \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