[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-2819-g23e8672

[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, gawk-4.2-stable has been updated
       via  23e8672e421a46f13f9f7b577f6f9e8e5889dd75 (commit)
      from  acab04b6519db09c614cd833938b1f693f288096 (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=23e8672e421a46f13f9f7b577f6f9e8e5889dd75

commit 23e8672e421a46f13f9f7b577f6f9e8e5889dd75
Author: Eli Zaretskii <address@hidden>
Date:   Sat Oct 21 13:35:09 2017 +0300

    Fix "make install" on pc platforms.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index c965fa8..9f0f027 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,9 @@
+2017-10-21  Eli Zaretskii  <address@hidden>
+
+       * Makefile (install1): Create include/ at desctination, and copy
+       there gawkapi.h.  Also copy *.png image files to share/info, as
+       those are required for the Info readers.
+
 2017-10-19         Arnold D. Robbins     <address@hidden>
 
        * 4.2.0: Release tar ball made.
diff --git a/pc/Makefile b/pc/Makefile
index f45782d..be5e052 100644
--- a/pc/Makefile
+++ b/pc/Makefile
@@ -294,15 +294,18 @@ install1:
        cat pc/awklib/igawk >> igawk.cmd
        cat pc/awklib/igawk.bat > igawk.bat
        -mkdir "$(prefix)"
+       -mkdir "$(prefix)/include"
        -mkdir "$(prefix)/bin"
        -mkdir "$(prefix)/share"
        -mkdir "$(prefix)/share/man"
        -mkdir "$(pkgdatadir)" "$(prefix)/share/man/man1" "$(prefix)/share/info"
        cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin
        cp gawk.exe $(prefix)/bin/awk.exe
+       cp gawkapi.h $(prefix)/include
        cp awklib/eg/lib/* pc/awklib/igawk.awk $(pkgdatadir)
        cp doc/*.1 $(prefix)/share/man/man1
        cp doc/*.info $(prefix)/share/info
+       cp doc/*.png $(prefix)/share/info
 
 # install2 is equivalent to install1, but doesn't require cp, sed, etc.
 install2:

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

Summary of changes:
 pc/ChangeLog | 6 ++++++
 pc/Makefile  | 3 +++
 2 files changed, 9 insertions(+)


hooks/post-receive
-- 
gawk