From ee3d30930741e566f5a1fee4831bba004048ae9a Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sat, 13 Apr 2019 12:51:27 +0300 Subject: Fix "make install" wrt Info files. --- pc/ChangeLog | 5 +++++ pc/Makefile | 2 ++ 2 files changed, 7 insertions(+) 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 + + * Makefile (install1): Copy the *.txt files needed to display the + manuals in the stand-alone Info reader. + 2019-04-12 Arnold D. Robbins * 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: -- cgit v1.2.3