diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-03-05 20:20:21 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-03-05 20:20:21 +0200 |
| commit | 7b77ec860377eafcad05025888721a46b8a7f349 (patch) | |
| tree | 2d3176cee22ad946fb4b82e1b8ae40ca656d1a6a /pc | |
| parent | 9b1151d32d047649e2a6a1f601aa8163ebe3e8e9 (diff) | |
| parent | 28b143c3a489e2699834812214eeaa6347ac1c01 (diff) | |
| download | egawk-7b77ec860377eafcad05025888721a46b8a7f349.tar.gz egawk-7b77ec860377eafcad05025888721a46b8a7f349.tar.bz2 egawk-7b77ec860377eafcad05025888721a46b8a7f349.zip | |
Merge branch 'gawk-4.2-stable' (after 4.2.1 release)
Diffstat (limited to 'pc')
| -rw-r--r-- | pc/ChangeLog | 8 | ||||
| -rw-r--r-- | pc/Makefile | 2 |
2 files changed, 10 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 866d133d..28f6e8eb 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,11 @@ +2018-03-03 Eli Zaretskii <eliz@gnu.org> + + * Makefile (install1): Create parent directories of $(pkgextensiondir). + +2018-02-25 Arnold D. Robbins <arnold@skeeve.com> + + * 4.2.1: Release tar ball made. + 2018-02-17 Eli Zaretskii <eliz@gnu.org> * Makefile.tst (BASIC_TESTS): Add uplus. diff --git a/pc/Makefile b/pc/Makefile index fb34965b..85594a65 100644 --- a/pc/Makefile +++ b/pc/Makefile @@ -325,7 +325,9 @@ install1: -mkdir "$(prefix)/bin" -mkdir "$(prefix)/share" -mkdir "$(prefix)/share/man" + -mkdir "$(prefix)/lib" -mkdir "$(pkgdatadir)" "$(prefix)/share/man/man1" "$(prefix)/share/info" + -mkdir "$(prefix)/lib/gawk" cp gawk.exe $(prefix)/bin/awk.exe cp *awk.exe igawk.bat igawk.cmd pc/awklib/igawk $(prefix)/bin cp gawkapi.h $(prefix)/include |