doc: move README into manual
[gnulib.git] / doc / gnulib-readme.texi
2012-12-27 Paul Eggertdoc: move README into manual