diff -r 760168a444e2 -r 43dd6dcf5860 debian/gai.doc-base.EX
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/gai.doc-base.EX	Thu Jul 12 12:38:11 2012 +0200
@@ -0,0 +1,20 @@
+Document: gai
+Title: Debian gai Manual
+Author: <insert document author here>
+Abstract: This manual describes what gai is
+ and how it can be used to
+ manage online manuals on Debian systems.
+Section: unknown
+
+Format: debiandoc-sgml
+Files: /usr/share/doc/gai/gai.sgml.gz
+
+Format: postscript
+Files: /usr/share/doc/gai/gai.ps.gz
+
+Format: text
+Files: /usr/share/doc/gai/gai.text.gz
+
+Format: HTML
+Index: /usr/share/doc/gai/html/index.html
+Files: /usr/share/doc/gai/html/*.html