Document: xmltex
Title: XMLTeX Manual
Author: David Carlisle <davidc@nag.co.uk>
Abstract: This manual describes how to use xmltex
Section: text

Format: tei-xml
Files: /usr/share/doc/xmltex/manual.xml.gz

Format: postscript
Files: /usr/share/doc/xmltex/manual.ps.gz

Format: HTML
Index: /usr/share/doc/xmltex/manual.html
Files: /usr/share/doc/xmltex/manual.html
