[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: |
Graham Percival |
|
Subject: |
Re: Problems making doc after commit by Mark P |
|
Date: |
Sun, 5 Dec 2010 20:25:11 +0000 |
|
User-agent: |
Mutt/1.5.20 (2009-06-14) |
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.
Cheers,
- Graham