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 65c96d7..3e65d36 100644 (file)
--- a/debian/gnulib.docs
+++ b/debian/gnulib.docs
@@ -3,3 +3,4 @@ NEWS
 NEWS.stable
 README
 users.txt
+STATUS-libposix