Updates:
Owner: ---
Cc: -john.mandereau
Labels: -Type-Enhancement Type-Other
Comment #5 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
We now have scripts/auxiliar/strip-whitespace.py to remove end-of-line
whitespace.
Still hoping for a python script to handle the @menu stuff, though!
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
_______________________________________________
bug-lilypond mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-lilypond
