Document: xmlstarlet
Title: Debian xmlstarlet Manual
Author: Mikhail Grushinskiy
Abstract: This manual describes what xmlstarlet is
 and how it can be used to
 manage online manuals on Debian systems.
Section: text

Format: postscript
Files: /usr/share/doc/xmlstarlet/doc/xmlstarlet.ps.gz

Format: text
Files: /usr/share/doc/xmlstarlet/doc/xmlstarlet.txt.gz

Format: HTML
Index: /usr/share/doc/xmlstarlet/doc/xmlstarlet-ug.html
Files: /usr/share/doc/xmlstarlet/doc/*.html

