[PATCH 3/4] doc: use stamp file for html docs

[David Bremner]

Daniel Kahn Gillmor <dkg at fifthhorseman.net> writes:

>>  
>> -sphinx-texinfo: .texi.stamp
>> +sphinx-texinfo: $(DOCBUILDDIR)/.texi.stamp
>
> I think this final change (to the sphinx-texinfo target) belongs in the
> previous patchset.
>
> Otherwise, this series looks good to me, using your followup two-part
> replacement for the obsolete 1/4 patch.
>

thanks for catching that. I've pushed the amended series.