Comment #18 on issue 847 by [email protected]: python scripts should add an autogenerated marker
http://code.google.com/p/lilypond/issues/detail?id=847
OK - I now know why this hasn't killed the website. http://lilypond.org/doc/v2.17/Documentation/contributor/uploading-and-security gives a clue - the scripts in git aren't used for building the website unless they're manually copied over on the server. This means that the fix to this issue has never appeared on the live website. If this fix looks OK, I'll have to do this manual copy.
Perhaps we should add make website to patchy? It carries little overhead.
