From a6391d7ec6eb6574a2eb24ee7e0802bc9c40f1c3 Mon Sep 17 00:00:00 2001 From: Torbjorn Granlund Date: Thu, 17 Nov 2016 03:30:26 +0100 Subject: Purge mention of mp.h. --- doc/gmp.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') 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. -- cgit v1.2.1