# HG changeset patch # User Thomas Arendsen Hein # Date 1142017601 -3600 # Node ID 9ef0850b9b68107a618f53ee2954f152e50305c4 # Parent a5c46cff620fb8b3ac7079c4f0efacaa6861dccf make clean now removes generated documentation. diff -r a5c46cff620f -r 9ef0850b9b68 doc/Makefile --- 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