K 10 svn:author V 5 markm K 8 svn:date V 27 1995-11-13T18:39:23.000000Z K 7 svn:log V 108 1) Add the doc/subdirectory - this will get gmp.texi installed 2) Clean up the Makefile - libgmp is coming! END