On 6/3/05, Nigel Metheringham <[EMAIL PROTECTED]> wrote: > What format does the PHP documentation start in? Starting a new doc > format where we cannot import the current set relatively directly is > going to be a non-starter. We could, in theory, make some mods to the > generation process - especially as Philip is currently playing with > that. I guess adding an end pass to PHP wrap the HTML might also be a > possibility.
I'm not sure what they start in, but they end up as static pages (similar to what is going on here). Is there a copy of the new XML or AsciiDoc file of the docs? If Philip can make that available, I can toy around and see how difficult a setup like this would be. > If any mirror admins can comment that would be useful. However I have > the feeling that something that needs significant scripting to maintain > it will be either:- > * dropped (ie we will just lose all the mirrors - is that a bad > thing?) > * continually out of date That's what I get for brainstorming late at night :( The database uses the SQLite routines instead of MySQL or Postgres since it doesn't require a separate RDBMS process. To the mirrors, it's just another file to download in the directory tree....no scripts, no nothing. Just rsync. -- ## List details at http://www.exim.org/mailman/listinfo/exim-dev Exim details at http://www.exim.org/ ##
