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

diff --git a/doc/makefile b/doc/makefile
index 0b3d819d550b76a9a0008f08165e0f8984897785..b1b56c1831b94371ab9141c6628a360cdbf7f553 100644 (file)
--- 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: