[gawk-diffs] [SCM] gawk branch, master, updated. 1dd19986291bdd1129ac08eec40d963a65170422

[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  1dd19986291bdd1129ac08eec40d963a65170422 (commit)
      from  b1a975ef676d812b6d80259cf7b95a90aee238c7 (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=1dd19986291bdd1129ac08eec40d963a65170422

commit 1dd19986291bdd1129ac08eec40d963a65170422
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 28 09:24:39 2013 +0300

    Minor fix in bootstrap.sh.

diff --git a/ChangeLog b/ChangeLog
index 7fd8d2b..f3f7e7e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-04-28         Arnold D. Robbins     <address@hidden>
+
+       * bootstrap.sh: Fix a comment.
+
 2013-04-24         Arnold D. Robbins     <address@hidden>
 
        * io.c (do_getline_redir): Fix the leading comment.
diff --git a/bootstrap.sh b/bootstrap.sh
index cd6ed10..496d8a0 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -34,7 +34,7 @@ touch extension/configh.in
 sleep 1
 touch test/Maketests
 find . -name Makefile.in -print | xargs touch
-touch doc/gawk.texi    # make later than gawkman.texi
+touch doc/gawk.texi    # make later than gawktexi.in
 sleep 1
 touch doc/*.info
 touch po/*.gmo

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

Summary of changes:
 ChangeLog    |    4 ++++
 bootstrap.sh |    2 +-
 2 files changed, 5 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gawk