diff --git a/doc/makefile b/doc/makefile
index a22613c27657ae0ec70d0629758a9e77201a8f02..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