What about "TEXINFO_MANUALS_WITHOUT_WEB"?
IMHO this is much better. https://codereview.appspot.com/363930043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel