diff options
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"); } |