Re: Issue 776 in lilypond: python script to get rid of extra whitespace and generate @menu in the docs

[lilypond]

Updates:
        Status: Verified

Comment #8 on issue 776 by percival.music.ca: python script to get rid of  
extra whitespace and generate @menu in the docs
http://code.google.com/p/lilypond/issues/detail?id=776

That commit definitely occurred, and a quick scan of the git changelog  
since then reveals that more work has been done on the script.  It's  
clearly there, and working.