Hi all devs,
I'm still working on complete automation of the phpdocs compilation.
Yet we have a complete set of scripts for checkouting the branch we want and recompile complete documentation for it in one of the phpdocs.moodle.org subvolumes.
1.7 documentation will not be recompiled. We published it for convenience for old implementations who might be still running somewhere.
1.8 documentation is planned to be recompiled once a week. Please argue for telling me what should be the best compilation time (usually, takes less than 15 minutes)
1.9 documentation should be recompiled once a day, at 0.00 GMT (should be*) (it takes also some 15 minutes as far).
We have room and power enough to support the HEAD if there is some real need for.
I plan making a sub compilation for third-party plugins (only plugins, no patches nor themes (meaningless)), but this would rely on a @package rule for all third party developpers (as we need to compile much more code from the core to maintain consistence in documentation links for plugins).
Note for MartinD about package names : I'm afraid we will not be able to use a slash within package names, nor subpackages (not explicitely described in phpdocumentor documentation)
(*) Still to do : all is ready for automation, except the conclusion of a complete ssh-agent driven CVS access for avoiding password prompts. This is the last thing I need working on and seems to be a bit tricky to conclude.
Cheers from Paris !!