doc/Makefile
changeset 1879 9ef0850b9b68
parent 1819 d657bfdc06c4
child 2233 3840cefa5222
--- a/doc/Makefile	Fri Mar 10 19:16:49 2006 +0100
+++ b/doc/Makefile	Fri Mar 10 20:06:41 2006 +0100
@@ -24,4 +24,4 @@
 	asciidoc -b html4 $*.txt || asciidoc -b html $*.txt
 
 clean:
-	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html)
+	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt