summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-18 08:25:25 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-18 08:25:25 +0000
commit16eb9db9953c79433857172e6266da2b9959df5c (patch)
tree92e80dbafe22a98178164948781657ab4bd8e653
parent86613c358426f7c678c2fb0727fc433d9f81b40b (diff)
downloadmpfr-16eb9db9953c79433857172e6266da2b9959df5c.tar.gz
minor modification of documentation for mini-gmp
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9831 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/mini-gmp2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mini-gmp b/doc/mini-gmp
index d609ab801..061308338 100644
--- a/doc/mini-gmp
+++ b/doc/mini-gmp
@@ -11,7 +11,7 @@ How to compile GNU MPFR with mini-gmp
2) create a GMP install directory in say /tmp
mkdir /tmp/include
mkdir /tmp/lib
- mv libgmp.a /tmp/lib
+ cp libgmp.a /tmp/lib
cp mini-gmp.h /tmp/include/gmp.h
3) extract the MPFR tarball in say /tmp/mpfr