With livedocs, If I update a page, is livedocs meant to regenerate that page on the next request? At the moment, on my build, it is not doing this. I have to delete the cached pages first. Is there a reason for this?
Yep, livedocs was designed to work well in the rsynced php.net environment. The mirror sites got the suggested setting to remove all unknown (non rsynced) files from the tree before (after?) updating. So when they get the new XML sources (rsync), they also automatically remove the cached pages. This is why livedocs does not check the file dates (which would be an expensive operation on all page requests, given that it will not be needed on the mirror sites).
Also, as an aside: The "::" chapter, should be renamed to "scope resolution operator"?
Maybe.
The "do..while", maybe just "do while" is less misleading?
Maybe. :)
Goiba
