Index: trunk/MagicSoft/Mars/Makefile.rules
===================================================================
--- trunk/MagicSoft/Mars/Makefile.rules	(revision 2080)
+++ trunk/MagicSoft/Mars/Makefile.rules	(revision 2081)
@@ -61,7 +61,8 @@
 rmhtml:
 	@echo " Removing htmldoc-tree"
-        @rm -rf htmldoc/examples
-        @rm -rf htmldoc/src
+	@rm -rf htmldoc/examples
+	@rm -rf htmldoc/src
 	@rm -f htmldoc/*
+# ls | grep -v filename | xargs rm
 
 cflags: