diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2011-01-13 10:47:21 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2011-01-13 10:47:21 +0100 |
commit | f302a55d8bb1c5f977b00f165dbfd452c106e7a3 (patch) | |
tree | 11289d09dfc9a596e7f21641e779047c2e7ccd5e /INSTALL | |
parent | a0827454d4a5584b7e1b14ef701cc763978777c0 (diff) | |
download | gmp-f302a55d8bb1c5f977b00f165dbfd452c106e7a3.tar.gz |
INSTALL: Apply Will Galway's suggestions.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |