Joerg Pietschmann schrieb: [..]
> That's exactly what I'm currently doing, the HTML and the > intermediate document-DTD files are produced in the build > directory. Unfortunately, as I already noted, it's an > all-or-nothing thing unless you are comfortable with broken > doc builds for some time. > If this is ok, I can commit the first half tomorrow... Please wait till after the release. > J.Pietschmann Christian --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, email: [EMAIL PROTECTED]