John, you wrote
Unless the docs output caused by this issue is unbearable even during the two days it may take me to fix it from now, please don't commit thisso-called fix.
It's not an urgent problem, and I can't push a fix anyway at the moment, so I'm happy to leave it to you. Thanks. Trevor _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
