Re: Struggling to get a clean make doc

[Graham Percival]

On Thu, Mar 03, 2011 at 05:58:26PM +0100, Francisco Vila wrote:
> 2011/3/3 James Lowe <address@hidden>:
> > I am almost certain it will work ok until I have to do a the next 'make' 
> > only (not make doc), that seems to be the pattern.
> 
>  I
> think you are simply resuming the process which would continue without
> the touch anyway.

Yes.

> Try again, and when it stops, make doc again without the touch.

The build process can still skip over the broken file.  It depends
on exactly which file it was that broke.

> did you try make doc-clean && make doc ?

No.  Never ever bother with doc-clean.  If you ever suspect that
doc-clean will help, then just remove the entire build/ directory
and start from scratch.


Look, this isn't a mystery.  The translations have been modifying
the build system.  Every time you modify a GNUmakefile, everybody
needs to re-run configure.  I forgot to warn James about this.
End of story.

Cheers,
- Graham