On Sat, Sep 10, 2005 at 10:26:46PM -0700, Kees Cook wrote:
_however_... we use PHP. So I have no idea how to handle that. :P Maybe we can use the publishing script to do our "includes" for us, and go back to just using straight .html files?
Offhand, the only place I can think of where we actually use PHP in a non-static way is on the front page, for the random screenshot. However, I'm unfamiliar with the wordpress stuff.
If the random screenshot on /index.php is indeed the only non-static thing we do with php, then I think we can & should generate static HTML pages ahead of time for all the other pages. People have complained about the doxygen pages in particular being dynamically generated and hence uncached. (I haven't checked whether this is still the case.)
pjrm.