2
Title: Debian agrep Manual
3
Author: <insert document author here>
4
Abstract: This manual describes what agrep is
5
and how it can be used to
6
manage online manuals on Debian systems.
10
Files: /usr/share/doc/agrep/agrep.sgml.gz
13
Files: /usr/share/doc/agrep/agrep.ps.gz
16
Files: /usr/share/doc/agrep/agrep.text.gz
19
Index: /usr/share/doc/agrep/html/index.html
20
Files: /usr/share/doc/agrep/html/*.html