diff options
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/Makefile.am | 6 | ||||
| -rw-r--r-- | doc/Makefile.in | 6 | ||||
| -rw-r--r-- | doc/gawk.texi | 10 | ||||
| -rw-r--r-- | doc/gawktexi.in (renamed from doc/gawkman.texi) | 0 | ||||
| -rw-r--r-- | doc/sidebar.awk | 10 |
6 files changed, 21 insertions, 16 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 0e974160..0a8ac224 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2013-04-27 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Renamed from gawkman.texi. + * Makefile.am, sidebar.awk: Adjusted. + 2013-04-26 Arnold D. Robbins <arnold@skeeve.com> * gawkman.texi: Cleanup in MPFR and API chapters. diff --git a/doc/Makefile.am b/doc/Makefile.am index 5d015c74..12692bd0 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -36,7 +36,7 @@ EXTRA_DIST = ChangeLog ChangeLog.0 README.card ad.block setter.outline \ api-figure2.png api-figure2.txt \ api-figure3.eps api-figure3.fig api-figure3.pdf \ api-figure3.png api-figure3.txt \ - gawkman.texi sidebar.awk \ + gawktexi.in sidebar.awk \ general-program.eps general-program.fig general-program.pdf \ general-program.png general-program.txt \ process-flow.eps process-flow.fig process-flow.pdf \ @@ -70,8 +70,8 @@ AWKCARD = awkcard.ps # to ensure that awkcard.tr is processed by tbl. #AWKCARD = awkcard.nc -gawk.texi: $(srcdir)/gawkman.texi $(srcdir)/sidebar.awk - awk -f $(srcdir)/sidebar.awk < $(srcdir)/gawkman.texi > gawk.texi +gawk.texi: $(srcdir)/gawktexi.in $(srcdir)/sidebar.awk + awk -f $(srcdir)/sidebar.awk < $(srcdir)/gawktexi.in > gawk.texi postscript: gawk.ps gawkinet.ps gawk.1.ps igawk.1.ps $(AWKCARD) diff --git a/doc/Makefile.in b/doc/Makefile.in index 26596555..41f65b0d 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -322,7 +322,7 @@ EXTRA_DIST = ChangeLog ChangeLog.0 README.card ad.block setter.outline \ api-figure2.png api-figure2.txt \ api-figure3.eps api-figure3.fig api-figure3.pdf \ api-figure3.png api-figure3.txt \ - gawkman.texi sidebar.awk \ + gawktexi.in sidebar.awk \ general-program.eps general-program.fig general-program.pdf \ general-program.png general-program.txt \ process-flow.eps process-flow.fig process-flow.pdf \ @@ -836,8 +836,8 @@ uninstall-man: uninstall-man1 # to ensure that awkcard.tr is processed by tbl. #AWKCARD = awkcard.nc -gawk.texi: $(srcdir)/gawkman.texi $(srcdir)/sidebar.awk - awk -f $(srcdir)/sidebar.awk < $(srcdir)/gawkman.texi > gawk.texi +gawk.texi: $(srcdir)/gawktexi.in $(srcdir)/sidebar.awk + awk -f $(srcdir)/sidebar.awk < $(srcdir)/gawktexi.in > gawk.texi postscript: gawk.ps gawkinet.ps gawk.1.ps igawk.1.ps $(AWKCARD) 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.) diff --git a/doc/gawkman.texi b/doc/gawktexi.in index 084145f8..084145f8 100644 --- a/doc/gawkman.texi +++ b/doc/gawktexi.in 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/ { |