diff -r 000000000000 -r 99443200522e debian/update-serial.doc-base.EX --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/debian/update-serial.doc-base.EX Fri Jan 18 21:41:31 2008 +0000 @@ -0,0 +1,22 @@ +Document: update-serial +Title: Debian update-serial Manual +Author: +Abstract: This manual describes what update-serial is + and how it can be used to + manage online manuals on Debian systems. +Section: unknown + +Format: debiandoc-sgml +Files: /usr/share/doc/update-serial/update-serial.sgml.gz + +Format: postscript +Files: /usr/share/doc/update-serial/update-serial.ps.gz + +Format: text +Files: /usr/share/doc/update-serial/update-serial.text.gz + +Format: HTML +Index: /usr/share/doc/update-serial/html/index.html +Files: /usr/share/doc/update-serial/html/*.html + +