summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Ryde <user42@zip.com.au>2000-08-02 23:36:33 +0200
committerKevin Ryde <user42@zip.com.au>2000-08-02 23:36:33 +0200
commit5930b0e7229354308bca45520ce36a76dc26cfc7 (patch)
tree533f7f7e0844ddf434d60b27db634493bff4e299
parentd7bcabfe2103f21d349c6a8f43191ec3200e92ec (diff)
downloadgmp-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.am2
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