K 10 svn:author V 7 phantom K 8 svn:date V 27 2001-12-13T23:51:26.000000Z K 7 svn:log V 255 Add new make target 'cleanall'. Its responsibility is to remove *all* possible generated files (make clean is called for all known formats). It can be useful when default FORMATS for document has different value than was used in build. Reviewed by: nik END