[Python-Dev] Frequency of the dev docs autobuild

[Georg Brandl]

Am 29.04.2010 13:40, schrieb R. David Murray:
> On Thu, 29 Apr 2010 20:16:14 +1000, Nick Coghlan <ncoghlan at gmail.com> wrote:
>> Does the online dev version of the docs build in response to docs
>> checkins, or just once a day?
> 
> I believe it does it once a day.  Georg recently changed how this is done,
> so we should get official word from him.

Yes, it builds once a day.  The build process currently takes quite long,
since PDFs are also built every time.  We could change the procedure to
rebuild the HTML more frequently or on checkin, but that would again
make the PDFs mismatch the online docs, and I would say it's not necessary.

>> (And is that written down somewhere and I've just forgotten where to
>> look...)
> 
> I don't think so, but it should be.

It is documented at <http://www.python.org/dev/doc>.  The docs themselves
bear the "last updated" date only.

Georg

-- 
Thus spake the Lord: Thou shalt indent with four spaces. No more, no less.
Four shall be the number of spaces thou shalt indent, and the number of thy
indenting shall be four. Eight shalt thou not indent, nor either indent thou
two, excepting that thou then proceed to four. Tabs are right out.