Author: heiko.braun(a)jboss.com
Date: 2007-07-06 11:15:56 -0400 (Fri, 06 Jul 2007)
New Revision: 3813
Modified:
projects/docbuilder/docbuilder.sh
Log:
minor fix
Modified: projects/docbuilder/docbuilder.sh
===================================================================
--- projects/docbuilder/docbuilder.sh 2007-07-06 15:05:44 UTC (rev 3812)
+++ projects/docbuilder/docbuilder.sh 2007-07-06 15:15:56 UTC (rev 3813)
@@ -5,8 +5,6 @@
DOCBUILDER_HOME=`cd $DIRNAME/; pwd`;
OLD_DIR=`cd ../; pwd`;
-echo $DOCBUILDER_HOME
-
if [ $# -eq 0 ]; then
echo "$PROGNAME is a command line tool that creates JBoss documentation from
docbook sources."
echo
Show replies by date