stop installing duplicate docs; tweak installed files; Add info manual to doc-base

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

diff --git a/debian/gnulib.doc-base b/debian/gnulib.doc-base
index 2da2ca0..92dcf3d 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
+Files: /usr/share/info/gnulib.info