Code

Fix the clean rule to never remove generated doc files
authorJonas Fonseca <fonseca@diku.dk>
Sun, 23 Sep 2007 21:05:40 +0000 (23:05 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Sun, 23 Sep 2007 21:15:06 +0000 (23:15 +0200)
commit4b551e77e010b7a4126e6ce863463a10f94142b1
treebbfda64b0a8fc25e0a38c7ff7ca104db96f96797
parent12e8c2be5c217f1be8bfd48cc9723fc696b0fbf6
Fix the clean rule to never remove generated doc files

... this is now done by new distclean rule, which will also
purge autoconf files.
.gitignore
Makefile