*** README.orig     2009-12-09 20:16:50.000000000 +0100
    --- README  2009-12-09 19:36:18.000000000 +0100

How about adding everything in README to gnulib.texi, and generating it?

The README grows and grows, in both length and importance ...



Reply via email to