"make doc-clean" appears to work better. I find it somewhat surprisingthat it should not have been implied by "make clean".
IIRC it's implied by make distclean _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
