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

[James]

Hello,

On 21 August 2012 21:46, John Mandereau <address@hidden> wrote:
> 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.

Thanks, this worked.

I can turn it off and on as needed for now. Now that I know where to
make the change.

James