[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-2758-g6052835

[Eli Zaretskii]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  6052835e569e75c5d5505eeabe69b461ca34af1d (commit)
      from  90d0db097965715d8b0794d3dea6150a6430bf32 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=6052835e569e75c5d5505eeabe69b461ca34af1d

commit 6052835e569e75c5d5505eeabe69b461ca34af1d
Author: Eli Zaretskii <address@hidden>
Date:   Mon Sep 4 07:36:01 2017 +0300

    Update README.ps wrt building extensions.

diff --git a/README_d/ChangeLog b/README_d/ChangeLog
index 2393195..aff9ef9 100644
--- a/README_d/ChangeLog
+++ b/README_d/ChangeLog
@@ -1,3 +1,8 @@
+2017-09-04  Eli Zaretskii  <address@hidden>
+
+       * README.pc: Update instructions for building the extensions
+       without libmpfr.
+
 2017-08-24         Arnold D. Robbins     <address@hidden>
 
        * README.pc: Updated to point to Juan Guerrero for DJGPP.
diff --git a/README_d/README.pc b/README_d/README.pc
index 444df30..76299d0 100644
--- a/README_d/README.pc
+++ b/README_d/README.pc
@@ -44,7 +44,10 @@ tools, enter "make djgpp".
 
 For the MinGW build, after you build in the top-level directory, chdir
 to the extension subdirectory and say "make" there to build the
-extensions.
+extensions.  If you built gawk without libmpfr, say this instead to
+build the extensions:
+
+  make MPFR= MPFR_LIBS=
 
 
 Testing and installing gawk

-----------------------------------------------------------------------

Summary of changes:
 README_d/ChangeLog | 5 +++++
 README_d/README.pc | 5 ++++-
 2 files changed, 9 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk