[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Problems making doc after commit by Mark P
From: |
James Lowe |
Subject: |
RE: Problems making doc after commit by Mark P |
Date: |
Sun, 5 Dec 2010 16:00:23 -0500 |
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