[project @ 2000-06-01 10:45:09 by panne]
[ghc-hetmet.git] / glafp-utils / docbook / db2dvi.dir / db2dvi.sh
index fa9dcd6..dc847cc 100644 (file)
@@ -1,6 +1,3 @@
-DOCBOOK_CATALOG=$1
-shift
-
 if [ ! -f "$DOCBOOK_CATALOG" ] ; then
   echo "CATALOG file not set up; see installation guide for details."
   exit 1