Re: Patchy switches for forcing make doc don't seem to work

[John Mandereau]

Le mardi 21 août 2012 à 13:05 -0400, Julien Rioux a écrit :
> On line #431, change quick_make=True to quick_make=False and you will be 
> doing a `make doc' (in addition to `make check' and everything).
> 
> A command-line switch would be much better, but for the time being this 
> is something you could do.

Why not, but don't do this without adding "make doc-clean" at the right
places, i.e. right after having applied each patch.

Best,
John