Re: [Lilypond-auto] Issue 847 in lilypond: python scripts should add an autogenerated marker

[lilypond]

Comment #18 on issue 847 by address@hidden: 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.