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
# 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