If we want to enable this as-is, we can turn it on with the following patch:
Index: manual.xml.in =================================================================== RCS file: /repository/phpdoc/manual.xml.in,v retrieving revision 1.210 diff -u -r1.210 manual.xml.in --- manual.xml.in 6 Sep 2005 10:52:54 -0000 1.210 +++ manual.xml.in 3 Oct 2005 18:48:23 -0000 @@ -127,6 +127,7 @@ <title>&Internals;</title> &internals.intro; &internals.streams.index; + &internals.pdo.index; &internals.zendapi.index; &internals.extendphp3; </part> It generates about a dozen HTML output files. I've committed a patch that assigns IDs (so that the output files won't have randomly assigned names) but am wondering whether we should break the 174K index.xml file up into the corresponding 12 smaller files as well. I'm happy to do this if that's the preferred method going forward. Dan On 10/3/05, Wez Furlong <[EMAIL PROTECTED]> wrote: > wez Mon Oct 3 11:17:00 2005 EDT > > Modified files: > /phpdoc/en/internals/pdo index.xml > Log: > improve pdo spec documentation > > > >
