diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2017-10-21 13:35:09 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2017-10-21 13:35:09 +0300 |
| commit | 23e8672e421a46f13f9f7b577f6f9e8e5889dd75 (patch) | |
| tree | 0d9efa63ea4fe55116ede6b706da95ee7c827303 | |
| parent | acab04b6519db09c614cd833938b1f693f288096 (diff) | |
| download | egawk-23e8672e421a46f13f9f7b577f6f9e8e5889dd75.tar.gz egawk-23e8672e421a46f13f9f7b577f6f9e8e5889dd75.tar.bz2 egawk-23e8672e421a46f13f9f7b577f6f9e8e5889dd75.zip | |
Fix "make install" on pc platforms.
| -rw-r--r-- | pc/ChangeLog | 6 | ||||
| -rw-r--r-- | pc/Makefile | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index c965fa89..9f0f0275 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,9 @@ +2017-10-21 Eli Zaretskii <eliz@gnu.org> + + * 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 <arnold@skeeve.com> * 4.2.0: Release tar ball made. diff --git a/pc/Makefile b/pc/Makefile index f45782d0..be5e052e 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: |