diff options
author | Torbjorn Granlund <tg@gmplib.org> | 2016-11-17 03:30:26 +0100 |
---|---|---|
committer | Torbjorn Granlund <tg@gmplib.org> | 2016-11-17 03:30:26 +0100 |
commit | a6391d7ec6eb6574a2eb24ee7e0802bc9c40f1c3 (patch) | |
tree | d0273dbd6417977fc58b48140755a10ac09ce845 /doc/gmp.texi | |
parent | 3b99d513d9171d4f74fe4a5af91089cd9643fcf5 (diff) | |
download | gmp-a6391d7ec6eb6574a2eb24ee7e0802bc9c40f1c3.tar.gz |
Purge mention of mp.h.
Diffstat (limited to 'doc/gmp.texi')
-rw-r--r-- | doc/gmp.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gmp.texi b/doc/gmp.texi index aa9f582a2..84c697185 100644 --- a/doc/gmp.texi +++ b/doc/gmp.texi @@ -647,8 +647,8 @@ install under a particular tree. The default is @samp{/usr/local}. @option{--exec-prefix} can be used to direct architecture-dependent files like @file{libgmp.a} to a different location. This can be used to share architecture-independent parts like the documentation, but separate the -dependent parts. Note however that @file{gmp.h} and @file{mp.h} are -architecture-dependent since they encode certain aspects of @file{libgmp}, so +dependent parts. Note however that @file{gmp.h} is +architecture-dependent since it encodes certain aspects of @file{libgmp}, so it will be necessary to ensure both @file{$prefix/include} and @file{$exec_prefix/include} are available to the compiler. |