diff options
author | Torbjorn Granlund <tg@gmplib.org> | 2016-11-17 03:25:34 +0100 |
---|---|---|
committer | Torbjorn Granlund <tg@gmplib.org> | 2016-11-17 03:25:34 +0100 |
commit | 239dc1b85a6fc792b95d97cbfc65488ce278b03d (patch) | |
tree | 5b57c7c2a2ea757fca9487e28d2f04f455f436e4 | |
parent | 8ea80023f6228c631da8b8822f3bf1b2a3b28b76 (diff) | |
download | gmp-239dc1b85a6fc792b95d97cbfc65488ce278b03d.tar.gz |
Clean up mention of mp.h.
-rw-r--r-- | doc/configuration | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/configuration b/doc/configuration index b6903866b..f3a541b1f 100644 --- a/doc/configuration +++ b/doc/configuration @@ -291,9 +291,8 @@ At build time: */Makefile.in \ configure / */Makefile config.in | -------------> | config.h - gmp-h.in | | config.m4 - mp-h.in / | gmp.h - | mp.h + gmp-h.in / | config.m4 + | gmp.h \ fat.h (fat binary build only) When configured with --enable-maintainer-mode the Makefiles include |