RE: Problems making doc after commit by Mark P

[James Lowe]

Hello,

-----Original Message-----
From: Graham Percival [mailto:address@hidden
Sent: Sun 12/5/2010 20:25
To: James Lowe
Cc: address@hidden
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