From b65dd3f63ca51ee0f599ca8551e007613c54835f Mon Sep 17 00:00:00 2001
From:  <sylvain@sylvain.(none)>
Date: Sun, 28 Aug 2005 15:13:20 -0400
Subject: [PATCH] Minor correction to htmldoc.sh.in

---
 doc/htmldoc.sh.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/htmldoc.sh.in b/doc/htmldoc.sh.in
index d926ea8..8351b40 100644
--- a/doc/htmldoc.sh.in
+++ b/doc/htmldoc.sh.in
@@ -28,7 +28,7 @@
 # Beautifier script that generates decent looking and standard conforming 
 # web documentation out of the texinfo manual. 
 #
-# Usage: ./htmldoc.sh
+# Usage: ./htmldoc.sh texinfo_filename
 # 
 # This script has been tested on:
 #
@@ -52,7 +52,7 @@ fi
 DIR=`echo "$1" | sed 's/\.texi$//'`
 LANG=`echo "$1" | sed 's/[^_]\+_\([^\.]\+\)\.texi/\1/'`
 
-@MAKEINFO@ --html $1 2> /dev/null
+@MAKEINFO@ --html $1
 if test "$?" -ne 0; then
     echo "Could not find file '$1' or execute makeinfo" 1>&2
     exit 1
-- 
2.11.4.GIT