diff -r a6e9f5b0d25c -r 937fd6fdb8e5 debian/postgrep.doc-base.EX --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/debian/postgrep.doc-base.EX Tue Sep 13 15:00:56 2011 +0200 @@ -0,0 +1,20 @@ +Document: postgrep +Title: Debian postgrep Manual +Author: +Abstract: This manual describes what postgrep is + and how it can be used to + manage online manuals on Debian systems. +Section: unknown + +Format: debiandoc-sgml +Files: /usr/share/doc/postgrep/postgrep.sgml.gz + +Format: postscript +Files: /usr/share/doc/postgrep/postgrep.ps.gz + +Format: text +Files: /usr/share/doc/postgrep/postgrep.text.gz + +Format: HTML +Index: /usr/share/doc/postgrep/html/index.html +Files: /usr/share/doc/postgrep/html/*.html