diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/Makefile.am | 3 | ||||
| -rw-r--r-- | doc/gawk.texi | 6 | ||||
| -rw-r--r-- | doc/gawkinet.texi | 4 |
4 files changed, 12 insertions, 6 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 31e22afd..dffa2976 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +Tue Dec 21 10:06:05 2010 Arnold D. Robbins <arnold@skeeve.com> + + * Makefile.am (pdf): Renamed from `all-pdf'. Much more logical + and easier to remember. + Sat Dec 18 20:14:58 2010 Eli Zaretskii <eliz@gnu.org> * gawk.texi (DOS Quoting): Fix a typo. diff --git a/doc/Makefile.am b/doc/Makefile.am index 80741ab6..c03c26bb 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -77,9 +77,10 @@ uninstall-hook: postscript: gawk.ps gawkinet.ps gawk.1.ps igawk.1.ps $(AWKCARD) -all-pdf: postscript +pdf: postscript gawk.pdf gawkinet.pdf awkcard.ps gawk.1.ps igawk.1.ps ps2pdf awkcard.ps awkcard.pdf ps2pdf gawk.1.ps gawk.1.pdf + ps2pdf igawk.1.ps igawk.1.pdf gawk.ps: gawk.dvi dvips -o gawk.ps gawk.dvi diff --git a/doc/gawk.texi b/doc/gawk.texi index e88ba99f..c3d0a8d3 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -30,9 +30,9 @@ DONE: @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH April, 2010 -@set VERSION 3.1 -@set PATCHLEVEL 8 +@set UPDATE-MONTH December, 2010 +@set VERSION 4.0 +@set PATCHLEVEL 0 @set FSF diff --git a/doc/gawkinet.texi b/doc/gawkinet.texi index 08748165..c8d12018 100644 --- a/doc/gawkinet.texi +++ b/doc/gawkinet.texi @@ -61,8 +61,8 @@ @c pages, I think this is the right decision. ADR. @set TITLE TCP/IP Internetworking With @command{gawk} -@set EDITION 1.2 -@set UPDATE-MONTH August, 2010 +@set EDITION 1.3 +@set UPDATE-MONTH December, 2010 @c gawk versions: @set VERSION 4.0 @set PATCHLEVEL 0 |