-DOCBOOK_CATALOG=$1
-shift
-
if [ ! -f "$DOCBOOK_CATALOG" ] ; then
echo "CATALOG file not set up; see installation guide for details."
exit 1
then
if [ -d ${output}.junk ]
then
- /bin/rm -rf ${output}.junk
+ rm -rf ${output}.junk
fi
if [ -d ${output} ]
then