[project @ 2000-06-29 13:07:04 by rrt]

Remove /bin/ from /bin/rm to avoid problems with systems where it's elsewhere.

diff --git a/glafp-utils/docbook/db2html.dir/db2html.sh b/glafp-utils/docbook/db2html.dir/db2html.sh
index 421fa2e..1dc46b6 100644 (file)
--- a/glafp-utils/docbook/db2html.dir/db2html.sh
+++ b/glafp-utils/docbook/db2html.dir/db2html.sh
@@ -63,7 +63,7 @@ if [ $# -eq 1 ]
 then
   if [ -d ${output}.junk ]
   then
-    /bin/rm -rf ${output}.junk
+    rm -rf ${output}.junk
   fi
   if [ -d ${output} ]
   then