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/sidebar.awk | |
| 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/sidebar.awk')
| -rw-r--r-- | doc/sidebar.awk | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/sidebar.awk b/doc/sidebar.awk index a8d25bf9..bb381aa3 100644 --- a/doc/sidebar.awk +++ b/doc/sidebar.awk @@ -20,11 +20,11 @@ # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA BEGIN { - print "% *****************************************************" - print "% * DO NOT MODIFY THIS FILE!!!! *" - print "% * It was generated from gawkman.texi by sidebar.awk *" - print "% * Edit gawkman.texi instead. *" - print "% *****************************************************" + print "% ****************************************************" + print "% * DO NOT MODIFY THIS FILE!!!! *" + print "% * It was generated from gawktexi.in by sidebar.awk *" + print "% * Edit gawktexi.in instead. *" + print "% ****************************************************" } /^@sidebar/ { |