[gawk-diffs] [SCM] gawk branch, master, updated. eff09e28536a4ebd4b178bd71a00b258c316e1bf

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  eff09e28536a4ebd4b178bd71a00b258c316e1bf (commit)
       via  d0470a4cb60374c51b0f84b9655a0d5bbc7a72e7 (commit)
      from  c8f10351204ee6e0ad2517c661eac0701d4dd4fa (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=eff09e28536a4ebd4b178bd71a00b258c316e1bf

commit eff09e28536a4ebd4b178bd71a00b258c316e1bf
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Apr 27 22:33:41 2013 +0300

    Rename doc/gawkman.texi to doc/gawktexi.in.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 0e97416..0a8ac22 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-27         Arnold D. Robbins     <address@hidden>
+
+       * gawktexi.in: Renamed from gawkman.texi.
+       * Makefile.am, sidebar.awk: Adjusted.
+
 2013-04-26         Arnold D. Robbins     <address@hidden>
 
        * gawkman.texi: Cleanup in MPFR and API chapters.
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 5d015c7..12692bd 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 2659655..41f65b0 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 acd2b14..7c53fc1 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
similarity index 100%
rename from doc/gawkman.texi
rename to doc/gawktexi.in
diff --git a/doc/sidebar.awk b/doc/sidebar.awk
index a8d25bf..bb381aa 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 "% ****************************************************"
 }
 
 /address@hidden/ {

http://git.sv.gnu.org/cgit/gawk.git/commit/?id=d0470a4cb60374c51b0f84b9655a0d5bbc7a72e7

commit d0470a4cb60374c51b0f84b9655a0d5bbc7a72e7
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Apr 27 22:29:00 2013 +0300

    Just about final cleanup of the doc.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index ff57620..0e97416 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,6 +1,7 @@
 2013-04-26         Arnold D. Robbins     <address@hidden>
 
        * gawkman.texi: Cleanup in MPFR and API chapters.
+       Also minor cleanup in design decisions. Add vim modeline.
        * api-figure2.fig: Minor fix.
        * api-figure2.eps, api-figure2.pdf, api-figure2.png: Regenerated.
 
diff --git a/doc/gawk.info b/doc/gawk.info
index 8101221..b5d7052 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -26967,7 +26967,7 @@ mechanisms and design remained unchanged for close to 
15 years, until
 
    `gawk' included some sample extensions, of which a few were really
 useful.  However, it was clear from the outset that the extension
-mechanism was bolted onto the side and was not really thought out.
+mechanism was bolted onto the side and was not really well thought out.
 
 * Menu:
 
@@ -27027,9 +27027,9 @@ Some goals for the new API were:
    * The API should provide _binary_ compatibility across `gawk'
      releases as long as the API itself does not change.
 
-   * The API should enable extensions written in C to have roughly the
-     same "appearance" to `awk'-level code as `awk' functions do. This
-     means that extensions should have:
+   * The API should enable extensions written in C or C++ to have
+     roughly the same "appearance" to `awk'-level code as `awk'
+     functions do. This means that extensions should have:
 
         - The ability to access function parameters.
 
@@ -27155,9 +27155,9 @@ The API can later be expanded, in two ways:
      identify the extension calling into it, should it need to know.
 
    * Similarly, the extension passes a "name space" into `gawk' when it
-     registers each extension function.  This allows a future mechanism
-     for grouping extension functions and possibly avoiding name
-     conflicts.
+     registers each extension function.  This accommodates a possible
+     future mechanism for grouping extension functions and possibly
+     avoiding name conflicts.
 
    Of course, as of this writing, no decisions have been made with
 respect to any of the above.
@@ -32513,22 +32513,22 @@ Ref: Derived Files-Footnote-31083268
 Node: Future Extensions1083366
 Node: Implementation Limitations1083947
 Node: Extension Design1085199
-Node: Old Extension Problems1086348
-Ref: Old Extension Problems-Footnote-11087856
-Node: Extension New Mechanism Goals1087913
-Ref: Extension New Mechanism Goals-Footnote-11091272
-Node: Extension Other Design Decisions1091458
-Node: Extension Future Growth1093564
-Node: Old Extension Mechanism1094385
-Node: Basic Concepts1096125
-Node: Basic High Level1096806
-Ref: figure-general-flow1097077
-Ref: figure-process-flow1097676
-Ref: Basic High Level-Footnote-11100905
-Node: Basic Data Typing1101090
-Node: Glossary1104445
-Node: Copying1129916
-Node: GNU Free Documentation License1167473
-Node: Index1192610
+Node: Old Extension Problems1086353
+Ref: Old Extension Problems-Footnote-11087861
+Node: Extension New Mechanism Goals1087918
+Ref: Extension New Mechanism Goals-Footnote-11091284
+Node: Extension Other Design Decisions1091470
+Node: Extension Future Growth1093576
+Node: Old Extension Mechanism1094412
+Node: Basic Concepts1096152
+Node: Basic High Level1096833
+Ref: figure-general-flow1097104
+Ref: figure-process-flow1097703
+Ref: Basic High Level-Footnote-11100932
+Node: Basic Data Typing1101117
+Node: Glossary1104472
+Node: Copying1129943
+Node: GNU Free Documentation License1167500
+Node: Index1192637
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 2a024bd..acd2b14 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -4,6 +4,7 @@
 % * Edit gawkman.texi instead.                        *
 % *****************************************************
 \input texinfo   @c -*-texinfo-*-
address@hidden vim: filetype=texinfo
 @c %**start of header (This is for running Texinfo on a region.)
 @setfilename gawk.info
 @settitle The GNU Awk User's Guide
@@ -35820,7 +35821,7 @@ functions.
 
 @command{gawk} included some sample extensions, of which a few were
 really useful.  However, it was clear from the outset that the extension
-mechanism was bolted onto the side and was not really thought out.
+mechanism was bolted onto the side and was not really well thought out.
 
 @menu
 * Old Extension Problems::           Problems with the old mechanism.
@@ -35881,7 +35882,7 @@ The API should provide @emph{binary} compatibility 
across @command{gawk}
 releases as long as the API itself does not change.
 
 @item
-The API should enable extensions written in C to have roughly the
+The API should enable extensions written in C or C++ to have roughly the
 same ``appearance'' to @command{awk}-level code as @command{awk}
 functions do. This means that extensions should have:
 
@@ -36021,7 +36022,7 @@ to know.
 
 @item
 Similarly, the extension passes a ``name space'' into @command{gawk}
-when it registers each extension function.  This allows a future
+when it registers each extension function.  This accommodates a possible future
 mechanism for grouping extension functions and possibly avoiding name
 conflicts.
 @end itemize
diff --git a/doc/gawkman.texi b/doc/gawkman.texi
index 719f1e8..084145f 100644
--- a/doc/gawkman.texi
+++ b/doc/gawkman.texi
@@ -1,4 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
address@hidden vim: filetype=texinfo
 @c %**start of header (This is for running Texinfo on a region.)
 @setfilename gawk.info
 @settitle The GNU Awk User's Guide
@@ -34969,7 +34970,7 @@ functions.
 
 @command{gawk} included some sample extensions, of which a few were
 really useful.  However, it was clear from the outset that the extension
-mechanism was bolted onto the side and was not really thought out.
+mechanism was bolted onto the side and was not really well thought out.
 
 @menu
 * Old Extension Problems::           Problems with the old mechanism.
@@ -35030,7 +35031,7 @@ The API should provide @emph{binary} compatibility 
across @command{gawk}
 releases as long as the API itself does not change.
 
 @item
-The API should enable extensions written in C to have roughly the
+The API should enable extensions written in C or C++ to have roughly the
 same ``appearance'' to @command{awk}-level code as @command{awk}
 functions do. This means that extensions should have:
 
@@ -35170,7 +35171,7 @@ to know.
 
 @item
 Similarly, the extension passes a ``name space'' into @command{gawk}
-when it registers each extension function.  This allows a future
+when it registers each extension function.  This accommodates a possible future
 mechanism for grouping extension functions and possibly avoiding name
 conflicts.
 @end itemize

-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog                     |    6 ++++
 doc/Makefile.am                   |    6 ++--
 doc/Makefile.in                   |    6 ++--
 doc/gawk.info                     |   48 ++++++++++++++++++------------------
 doc/gawk.texi                     |   17 +++++++------
 doc/{gawkman.texi => gawktexi.in} |    7 +++--
 doc/sidebar.awk                   |   10 ++++----
 7 files changed, 54 insertions(+), 46 deletions(-)
 rename doc/{gawkman.texi => gawktexi.in} (99%)


hooks/post-receive
-- 
gawk