docbase: fix info filename; don't remove doc/updated-stamp

[gnulib.git] / debian / gnulib.doc-base

diff --git a/debian/gnulib.doc-base b/debian/gnulib.doc-base
index 92dcf3d..6ab10ac 100644 (file)
--- a/debian/gnulib.doc-base
+++ b/debian/gnulib.doc-base
@@ -7,5 +7,5 @@ Index: /usr/share/doc/gnulib/gnulib.html
 Files: /usr/share/doc/gnulib/gnulib.html
 
 Format: Info
-Index: /usr/share/info/gnulib.info
-Files: /usr/share/info/gnulib.info
+Index: /usr/share/info/gnulib.info.gz
+Files: /usr/share/info/gnulib.info.gz