summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorThomas Guyot-Sionnest <dermoth@users.sourceforge.net>2007-02-24 01:03:40 +0000
committerThomas 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 @@
2 2
3developer-guidelines.html: developer-guidelines.sgml 3developer-guidelines.html: developer-guidelines.sgml
4 docbook2html -u developer-guidelines.sgml 4 docbook2html -u developer-guidelines.sgml
5 if [[ -e developer-guidelines/developer-guidelines.html ]] ; then \ 5 if [ -e developer-guidelines/developer-guidelines.html ] ; then \
6 mv developer-guidelines/developer-guidelines.html . ;\ 6 mv developer-guidelines/developer-guidelines.html . ;\
7 rm -f developer-guidelines ;\ 7 rm -rf developer-guidelines ;\
8 fi 8 fi
9 9
10clean: 10clean: