on request of Frederik Kammer

[iserv-mod-room-reservation.git] / Makefile

diff --git a/Makefile b/Makefile
index f61f840..41d1775 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -128,7 +128,7 @@ uninstall:
 
 # clean up
 clean: distclean
-       [ -e Doxyfile ] && rm Doxyfile
+       if [ -e Doxyfile ]; then rm Doxyfile; fi
 
 distclean:
        $(RM) doc/source