diff options
| -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: |