diff options
author | Kevin Ryde <user42@zip.com.au> | 2000-08-02 23:36:33 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2000-08-02 23:36:33 +0200 |
commit | 5930b0e7229354308bca45520ce36a76dc26cfc7 (patch) | |
tree | 533f7f7e0844ddf434d60b27db634493bff4e299 | |
parent | d7bcabfe2103f21d349c6a8f43191ec3200e92ec (diff) | |
download | gmp-5930b0e7229354308bca45520ce36a76dc26cfc7.tar.gz |
* Makefile.am (EXTRA_HEADERS): Omit $(MPFR_HEADERS_OPTION).
* mpfr/Makefile.am (EXTRA_DIST): Add mpfr.h.
(Without this mpfr.h is omitted from a "make dist" unless done while
configured with --enable-mpfr.)
-rw-r--r-- | mpfr/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mpfr/Makefile.am b/mpfr/Makefile.am index 4b617f3df..c8d7a13ec 100644 --- a/mpfr/Makefile.am +++ b/mpfr/Makefile.am @@ -39,4 +39,4 @@ libmpfr_la_SOURCES = \ add_ulp.c log2.c random.c log.c exp.c div_ui.c zeta.c karadiv.c \ karasqrt.c print_rnd_mode.c -EXTRA_DIST = mpfr-impl.h +EXTRA_DIST = mpfr.h mpfr-impl.h |