On Thu, Aug 04, 2011 at 02:46:25PM +0100, Trevor Daniels wrote: > > You could just delete the snippets from the LSR, and ask Phil to run > LSR update at the same time as your doc change was committed, but > doing it in sync is going to be tricky. Better to edit > snippets-list in the same commit as your doc change and snippet > deletion - that way git is kept consistent. The LSR can then be > changed anytime after that as long as it's before the next LSR > update.
... 1) delete a snippet from LSR. 2) if that snippet is in a @lilypondfile, delete that line. 2b) commit+push 3) write down a memo to remove the file from git later. 4) wait for Valentin to do a LSR->git import. 5) delete file from git. 6) run makelsr.py locally. 7) commit the results of 5+6. 8) push Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
