From: rrt <unknown>
Date: Thu, 29 Jun 2000 13:07:04 +0000 (+0000)
Subject: [project @ 2000-06-29 13:07:04 by rrt]
X-Git-Tag: Approximately_9120_patches~4119
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e23315b88b2aea4e00b896877cf90aade20c5ac6;p=ghc-hetmet.git

[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
--- 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