aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Thomas Guyot-Sionnest <dermoth@users.sourceforge.net> 2007-02-24 01:03:40 +0000
committerGravatar Thomas Guyot-Sionnest <dermoth@users.sourceforge.net> 2007-02-24 01:03:40 +0000
commitb31198c6ff8ac8a856f1c17c2eeda025197a6c2e (patch)
tree76f658d0264c1fe4989db5d47576c77f10edeeb7 /doc
parent9ca58a0dc32e498cf3fc96a5e58239adae84bb5e (diff)
downloadmonitoring-plugins-b31198c6ff8ac8a856f1c17c2eeda025197a6c2e.tar.gz
Fix the makefile ('[[' is bash-specific, 'rm -f' don't remove directories)
git-svn-id: https://nagiosplug.svn.sourceforge.net/svnroot/nagiosplug/nagiosplug/trunk@1623 f882894a-f735-0410-b71e-b25c423dba1c
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/makefile b/doc/makefile
index 0b3d819d..b1b56c18 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -2,9 +2,9 @@
developer-guidelines.html: developer-guidelines.sgml
docbook2html -u developer-guidelines.sgml
- if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \
+ if [ -e developer-guidelines/developer-guidelines.html ] ; then \
mv developer-guidelines/developer-guidelines.html . ;\
- rm -f developer-guidelines ;\
+ rm -rf developer-guidelines ;\
fi
clean: