summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorMarco Bodrato <bodrato@mail.dm.unipi.it>2011-01-13 10:47:21 +0100
committerMarco Bodrato <bodrato@mail.dm.unipi.it>2011-01-13 10:47:21 +0100
commitf302a55d8bb1c5f977b00f165dbfd452c106e7a3 (patch)
tree11289d09dfc9a596e7f21641e779047c2e7ccd5e /INSTALL
parenta0827454d4a5584b7e1b14ef701cc763978777c0 (diff)
downloadgmp-f302a55d8bb1c5f977b00f165dbfd452c106e7a3.tar.gz
INSTALL: Apply Will Galway's suggestions.
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL4
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index 53427abed..bfc261c1a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -27,11 +27,11 @@ along with the GNU MP Library. If not, see http://www.gnu.org/licenses/.
These instructions are only for the impatient. Others should read the install
instructions in gmp.info. Use
- info -f ./gmp.info
+ info -f doc/gmp.info
or in emacs
- C-u C-h i gmp.info
+ C-u C-h i doc/gmp.info
Here are some brief instructions on how to install GMP. First you need to