summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorKevin Ryde <user42@zip.com.au>2000-05-14 00:33:49 +0200
committerKevin Ryde <user42@zip.com.au>2000-05-14 00:33:49 +0200
commit33410945cd677447cf8ecc4fc10eb1a8c5d499cf (patch)
treecdc4e5239b73123b3abbaf97b838fd032d131141 /INSTALL
parentee0a7fea740070cb673f50bb6674caa29aa05a3d (diff)
downloadgmp-33410945cd677447cf8ecc4fc10eb1a8c5d499cf.tar.gz
Fix a typo.
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL2
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 420fc0a27..2f76b523d 100644
--- a/INSTALL
+++ b/INSTALL
@@ -126,7 +126,7 @@ gmp.dvi" or "make gmp.ps". This requires various "tex" commands.
To install the library, do "make install" (you can then use -lgmp instead of
.libs/libgmp.a).
-If you decide to use GMP, It is a good idea you read at least the chapter "GMP
+If you decide to use GMP, it is a good idea you read at least the chapter "GMP
Basics" in the manual.
Some known build problems are noted in the "Installing GMP" chapter of