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

[gnulib.git] / debian / gnulib.docs

diff --git a/debian/gnulib.docs b/debian/gnulib.docs
index 1776ad4..3e65d36 100644 (file)
--- a/debian/gnulib.docs
+++ b/debian/gnulib.docs
@@ -1 +1,6 @@
 doc/*.html
+NEWS
+NEWS.stable
+README
+users.txt
+STATUS-libposix