From: Ben Pfaff <blp@gnu.org>
Date: Tue, 26 Jul 2005 03:45:18 +0000 (+0000)
Subject: Remove gmp references.
X-Git-Tag: sav-api~2266
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f41458238c8319a80842ab1fa9fe11554809feab;hp=5951e303ca025a086922942d366f0e312c2b13f6;p=pspp

Remove gmp references.
---

diff --git a/INSTALL b/INSTALL
index db1decf2a7..bff0cd99a1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -2,8 +2,6 @@ PSPP has the following library dependencies;
 
     * The GNU Scientific Library (libgsl), version 1.6 or later.
 
-    * The GNU multiprecision arithmetic library (libgmp).
-
     * libplot from GNU plotutils is optional.  Without it, the new
       graphing features will not work.  If you do not have it
       installed, you must run `configure' with --without-libplot.
diff --git a/THANKS b/THANKS
index a54f749afe..5af731084b 100644
--- a/THANKS
+++ b/THANKS
@@ -13,7 +13,4 @@ Thanks to...
 
      * Jim Van Zandt for Debian packaging and suggestions.
 
-     * Torbj"orn Granlund and TMG Datakonsult for GNU gmp2 used in the 
-       portable file routines.
-
      * The authors of libplot and libgsl for providing those libraries.