diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2019-04-13 12:51:27 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2019-04-13 12:51:27 +0300 |
| commit | ee3d30930741e566f5a1fee4831bba004048ae9a (patch) | |
| tree | 87411c27e6ce55436c95c7451ea77ac344f74d1b | |
| parent | b4e4ba4663f3be1dbecf0699eb702786fda5eca7 (diff) | |
| download | egawk-ee3d30930741e566f5a1fee4831bba004048ae9a.tar.gz egawk-ee3d30930741e566f5a1fee4831bba004048ae9a.tar.bz2 egawk-ee3d30930741e566f5a1fee4831bba004048ae9a.zip | |
Fix "make install" wrt Info files.
| -rw-r--r-- | pc/ChangeLog | 5 | ||||
| -rw-r--r-- | pc/Makefile | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 862c2b87..ca9d80e3 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,8 @@ +2019-04-13 Eli Zaretskii <eliz@gnu.org> + + * Makefile (install1): Copy the *.txt files needed to display the + manuals in the stand-alone Info reader. + 2019-04-12 Arnold D. Robbins <arnold@skeeve.com> * ChangeLog.1: Rotated ChangeLog into this file. diff --git a/pc/Makefile b/pc/Makefile index 85594a65..d15ff10f 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: |