From 25e3c83e7ebcb2832c44bc894b19fee2741d069a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 21 Jan 2009 19:35:31 +0000
Subject: Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824
 from v8.2 branch].

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11825 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/tools/latex_filter        | 4 ++--
 doc/tools/show_latex_messages | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/tools/latex_filter b/doc/tools/latex_filter
index 4b6e1a8695..044a8642f8 100755
--- a/doc/tools/latex_filter
+++ b/doc/tools/latex_filter
@@ -36,8 +36,8 @@ while : ; do
       verbose=0
       ;;
     *)
-      if [ $verbose == 1 ]; then echo $line; fi
+      if [ $verbose = 1 ]; then echo $line; fi
   esac;
-  if [ "$i" == "0" ]; then break; else i=`expr $i - 1`; fi; 
+  if [ "$i" = "0" ]; then break; else i=`expr $i - 1`; fi; 
 done
 exit $error
diff --git a/doc/tools/show_latex_messages b/doc/tools/show_latex_messages
index 87b4638064..88044410a8 100755
--- a/doc/tools/show_latex_messages
+++ b/doc/tools/show_latex_messages
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-if [ "$1" == "-no-overfull" ]; then
+if [ "$1" = "-no-overfull" ]; then
   ../tools/latex_filter `wc -l < $2` no < $2
 else
   ../tools/latex_filter `wc -l < $1` yes < $1
-- 
cgit v1.2.3