I should clarify that I don't like doc-section.sh, I've never liked it; it's the worst kind of "alternate build system" hack... but mao, just look at those numbers. 3 minutes vs. less than 1 second ?! I hadn't realized the difference was that extreme. I'm sorely tempted to spend some time to fix up a few bugs in doc-section.sh and then make it the official method for doc editors to work.
If I hadn't written the original script from which this was derived I'd have never worked on the docs to the extent I did. It also works under MinGW, so there's no need to mess around with virtual systems and *nixes - Windows users can use more or less vanilla Windows, including the editor with which the Windows user is already familiar. Unhacking it would be good, but make sure it still works under MinGW :) Trevor _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
