[gawk-diffs] [SCM] gawk branch, gawk-5.0-stable, updated. gawk-4.1.0-3702-gee3d309

[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-5.0-stable has been updated
       via  ee3d30930741e566f5a1fee4831bba004048ae9a (commit)
      from  b4e4ba4663f3be1dbecf0699eb702786fda5eca7 (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=ee3d30930741e566f5a1fee4831bba004048ae9a

commit ee3d30930741e566f5a1fee4831bba004048ae9a
Author: Eli Zaretskii <address@hidden>
Date:   Sat Apr 13 12:51:27 2019 +0300

    Fix "make install" wrt Info files.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 862c2b8..ca9d80e 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,8 @@
+2019-04-13  Eli Zaretskii  <address@hidden>
+
+       * Makefile (install1): Copy the *.txt files needed to display the
+       manuals in the stand-alone Info reader.
+
 2019-04-12         Arnold D. Robbins     <address@hidden>
 
        * ChangeLog.1: Rotated ChangeLog into this file.
diff --git a/pc/Makefile b/pc/Makefile
index 85594a6..d15ff10 100644
--- a/pc/Makefile
+++ b/pc/Makefile
@@ -335,6 +335,8 @@ install1:
        cp doc/*.1 $(prefix)/share/man/man1
        cp doc/*.info $(prefix)/share/info
        cp doc/*.png $(prefix)/share/info
+       cp doc/*.txt $(prefix)/share/info
+       rm -f $(prefix)/share/info/awkforai.txt
 
 # install2 is equivalent to install1, but doesn't require cp, sed, etc.
 install2:

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

Summary of changes:
 pc/ChangeLog | 5 +++++
 pc/Makefile  | 2 ++
 2 files changed, 7 insertions(+)


hooks/post-receive
-- 
gawk