On Wed, Apr 23, 2008 at 10:50 AM, G. T. Stresen-Reuter
<[EMAIL PROTECTED]> wrote:
>  My question is: Can one still create this file and if not, does anyone know
> of a document that describes the DocBook structure being used (a DTD, for
> instance)?

Running "php configure.php" will create .manual.xml which is the same
as the old stripped.xml except the fact it has namespace declarations.
The official DocBook DTD can be found on http://docbook.org and our
skeletons in RFC/skeletons in CVS.

-Hannes

Reply via email to