Comment #9 on issue 2251 by [email protected]: website still doesn't
auto-update
http://code.google.com/p/lilypond/issues/detail?id=2251
oh, huh, I didn't notice that line in there.
Thing is, the description is a mess. If you have a LILYPOND_WEB_MEDIA_GIT
then you don't need to create a $HOME/lilypond/ and you certainly don't
need a $HOME/lilypond/media/. And you definitely don't want to copy PICS
and EXAMPLES into those directories, because then you'd miss any updates to
them that came in lilypond-extra.
...
you know what? maybe it's best just to ignore this for the next few
weeks. If you take over the patch-new checking, then I should have time at
the end of next week to fix those instructions.
_______________________________________________
bug-lilypond mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-lilypond
