Hi ! Regarding issues 2302 and 2311, which by the way are very comfortable, I just noticed that no log file is deleted when running either "make doc-clean" or "make clean".
Cheers, Jean-Charles _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
