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 2da2ca0..6ab10ac 100644 (file)
--- a/debian/gnulib.doc-base
+++ b/debian/gnulib.doc-base
@@ -6,3 +6,6 @@ Format: HTML
 Index: /usr/share/doc/gnulib/gnulib.html
 Files: /usr/share/doc/gnulib/gnulib.html
 
+Format: Info
+Index: /usr/share/info/gnulib.info.gz
+Files: /usr/share/info/gnulib.info.gz