From e23315b88b2aea4e00b896877cf90aade20c5ac6 Mon Sep 17 00:00:00 2001
From: rrt <unknown>
Date: Thu, 29 Jun 2000 13:07:04 +0000
Subject: [PATCH] [project @ 2000-06-29 13:07:04 by rrt] Remove /bin/ from
/bin/rm to avoid problems with systems where it's elsewhere.
---
glafp-utils/docbook/db2html.dir/db2html.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/glafp-utils/docbook/db2html.dir/db2html.sh b/glafp-utils/docbook/db2html.dir/db2html.sh
index 421fa2e14c35..1dc46b616ecd 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
--
GitLab