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
At any rate, the Makefile structure was already in place since I had run autogen.sh and configure again. If make doc then fails due to missing generated files, that points to missing dependencies. Those missing dependencies will still be good for triggering failed parallel make runs occasionally. -- David Kastrup _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond