--- a/debian/gai.doc-base.EX	Thu Jul 12 12:38:11 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-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