Question for GP really, but on the list for others to chime in as needed.
In the CG: http://lilypond.org/doc/v2.13/Documentation/contributor/useful-make-variables we already have a way of quietening the output. This is used in particular in make with the font files and would, I think, reduce the make output significantly (can't try it yet, I'm in the middle of yet another complete doc build). It seems wrong not to use this facility more - is it used? Should most of my "make quieter" changes be contingent on this variable being set?
(I assume its usage is make doc QUIET_BUILD=1) -- Phil Holmes Bug Squad _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
