diff options
| -rw-r--r-- | pc/ChangeLog | 4 | ||||
| -rw-r--r-- | pc/Makefile | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 45deaece..28f6e8eb 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,7 @@ +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. 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 |