diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 13:14:38 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2010-07-16 13:14:38 +0300 |
| commit | fae4762eba9ff7bb466a600130e9c90eaac6b0bc (patch) | |
| tree | 62711fe7cd511824b5f8a90ba1ba7b523d42e127 /pc/install.awk | |
| parent | bc70de7b3302d5a81515b901cae376b8b51d2004 (diff) | |
| download | egawk-fae4762eba9ff7bb466a600130e9c90eaac6b0bc.tar.gz egawk-fae4762eba9ff7bb466a600130e9c90eaac6b0bc.tar.bz2 egawk-fae4762eba9ff7bb466a600130e9c90eaac6b0bc.zip | |
Move to gawk-3.1.1.
Diffstat (limited to 'pc/install.awk')
| -rw-r--r-- | pc/install.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pc/install.awk b/pc/install.awk index 67113898..367e8b98 100644 --- a/pc/install.awk +++ b/pc/install.awk @@ -58,4 +58,5 @@ mkinstalldirs(prefix "/lib/awk " prefix "/man/man1 " prefix "/info") cp("awklib/eg/lib/* pc/awklib/igawk.awk " prefix "/lib/awk"); cp("doc/*.1 " prefix "/man/man1"); cp("doc/gawk.info " prefix "/info"); +cp("doc/gawkinet.info " prefix "/info"); } |