|
From: | lilypond |
Subject: | Re: Issue 2251 in lilypond: website still doesn't auto-update |
Date: | Fri, 03 Feb 2012 19:54:42 +0000 |
Comment #9 on issue 2251 by address@hidden: 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.
[Prev in Thread] | Current Thread | [Next in Thread] |