diff --git a/doc/makefile b/doc/makefile
index f0c9114a12d1d2656db82675f8dd47ebc8281732..b1b56c1831b94371ab9141c6628a360cdbf7f553 100644 (file)
--- a/doc/makefile
+++ b/doc/makefile
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:
+ rm -f developer-guidelines.html