From 85237f65161cb9cd10119197c65c84f65f0262ee Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 18 Jan 2009 20:56:21 +0000
Subject: Backporting from v8.2 to trunk: - Filtering of doc compilation
 messages (11793,11795,11796). - Fixing bug #1925 and cleaning around bug
 #1894 (11796, 11801). - Adding some tests.

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

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index c27a3357e3..6048a75fdb 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -72,7 +72,7 @@
 %\newcommand{\spec}[1]{\{\,#1\,\}}
 
 % Building regular expressions
-\newcommand{\zeroone}[1]{{\sl [}#1{\sl ]}}
+\newcommand{\zeroone}[1]{\mbox{\sl [}#1\mbox{\sl ]}}
 %\newcommand{\zeroonemany}[1]{$\{$#1$\}$*}
 %\newcommand{\onemany}[1]{$\{$#1$\}$+}
 \newcommand{\nelist}[2]{{#1} {\tt #2} {\ldots} {\tt #2} {#1}}
-- 
cgit v1.2.3