Federico Bruni <f...@inventati.org> writes: > Il giorno mar 21 set 2021 alle 22:48:04 +0200, David Kastrup > <d...@gnu.org> ha scritto: >> "make doc-clean" appears to work better. I find it somewhat >> surprising >> that it should not have been implied by "make clean". > > IIRC it's implied by make distclean
Well, but distclean removes everything done by ./configure as well. Including config.status , so I cannot do ./config.status --recheck anymore. -- David Kastrup _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
