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

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

diff --git a/debian/rules b/debian/rules
index 3e4a0f6..6da05ef 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -53,7 +53,6 @@ override_dh_auto_install-indep:
        # Remove unused files
        rm -f debian/gnulib/usr/share/gnulib/doc/gnulib.info
        rm -f debian/gnulib/usr/share/gnulib/doc/gnulib.html
-       rm -f debian/gnulib/usr/share/gnulib/doc/updated-stamp
        rm -f debian/gnulib/usr/share/gnulib/modules/COPYING
        rm -f debian/gnulib/usr/share/gnulib/*/.cvsignore debian/gnulib/usr/share/gnulib/.cvsignore
        rm -f debian/gnulib/usr/share/gnulib/*/.gitignore debian/gnulib/usr/share/gnulib/.gitignore