Ooops, forgot to commit yesterday's quoting fix for db2dvi to the
other db2FOO stuff...
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
- CATALOG_OPTION=-c $DOCBOOK_CATALOG
+ CATALOG_OPTION="-c $DOCBOOK_CATALOG"
fi
HTML_STYLESHEET=$HTML_DIR/html/docbook.css
fi
HTML_STYLESHEET=$HTML_DIR/html/docbook.css
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
- CATALOG_OPTION=-c $DOCBOOK_CATALOG
+ CATALOG_OPTION="-c $DOCBOOK_CATALOG"
fi
# Dave Mason's option to specify a different stylesheet
fi
# Dave Mason's option to specify a different stylesheet
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
fi
if [ -f "$DOCBOOK_CATALOG" ] ; then
- CATALOG_OPTION=-c $DOCBOOK_CATALOG
+ CATALOG_OPTION="-c $DOCBOOK_CATALOG"