Graham Percival <[email protected]> writes: > On Sun, Feb 26, 2012 at 01:30:53PM -0000, Phil Holmes wrote: >> Not sure if that's a good thing or not - it could be argued that you >> can go back and check them if they've not been deleted. > > I don't think they should be deleted as part of doc-clean or > clean. If somebody wants to add a log-clean, I'd have no > objection.
Whatever else, they should definitely be deleted as part of distclean. -- David Kastrup _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
