Mark Murray 638ddb0f0e 1) Add the doc/subdirectory - this will get gmp.texi installed ... 2) Clean up the Makefile - libgmp is coming!		1995-11-13 18:39:23 +00:00
..
Makefile	1) Add the doc/subdirectory - this will get gmp.texi installed	1995-11-13 18:39:23 +00:00