Hello,

-----Original Message-----
From: Graham Percival [mailto:[email protected]]
Sent: Sun 12/5/2010 20:25
To: James Lowe
Cc: [email protected]
Subject: Re: Problems making doc after commit by Mark P
 
On Sun, Dec 05, 2010 at 03:00:04PM -0500, James Lowe wrote:
> I am now getting compilation errors when I try to make doc.

Have you done a
  make
first?  As a general rule, you should always run "make" after
doing a git pull.  In some cases, you might need to run "make
clean" before that, but I wouldn't have expected this to be
necessary in this case.

--

Yes I did a make ; make doc.

So I simply aborted my edits.

Did another make ; make doc and it still errored.

Next step to

git reset --hard HEAD~1

Then did another make ; make doc. This worked.

Am now just putting my edits back over this version and doing another make doc 
to see if this works

...

and it doesn't.

:(

Sorry Mark.

James

_______________________________________________
lilypond-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to