diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2013-04-27 22:33:41 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2013-04-27 22:33:41 +0300 |
| commit | eff09e28536a4ebd4b178bd71a00b258c316e1bf (patch) | |
| tree | d71c69b60a8594f4a772270ed31106462437c0c6 /doc/gawk.texi | |
| parent | d0470a4cb60374c51b0f84b9655a0d5bbc7a72e7 (diff) | |
| download | egawk-eff09e28536a4ebd4b178bd71a00b258c316e1bf.tar.gz egawk-eff09e28536a4ebd4b178bd71a00b258c316e1bf.tar.bz2 egawk-eff09e28536a4ebd4b178bd71a00b258c316e1bf.zip | |
Rename doc/gawkman.texi to doc/gawktexi.in.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index acd2b143..7c53fc14 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -1,8 +1,8 @@ -% ***************************************************** -% * DO NOT MODIFY THIS FILE!!!! * -% * It was generated from gawkman.texi by sidebar.awk * -% * Edit gawkman.texi instead. * -% ***************************************************** +% **************************************************** +% * DO NOT MODIFY THIS FILE!!!! * +% * It was generated from gawktexi.in by sidebar.awk * +% * Edit gawktexi.in instead. * +% **************************************************** \input texinfo @c -*-texinfo-*- @c vim: filetype=texinfo @c %**start of header (This is for running Texinfo on a region.) |