diff options
author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-04-28 19:30:52 +0200 |
---|---|---|
committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2013-04-28 19:30:52 +0200 |
commit | 11c996c675afa475d46834b2b09039097e25afb5 (patch) | |
tree | 8e720e41b15affe811b21d74bddba14c302612fa /bootstrap.sh | |
parent | 74db9f3cb12c4c45487b8646473daad7d0df641f (diff) | |
parent | 1dd19986291bdd1129ac08eec40d963a65170422 (diff) | |
download | egawk-11c996c675afa475d46834b2b09039097e25afb5.tar.gz egawk-11c996c675afa475d46834b2b09039097e25afb5.tar.bz2 egawk-11c996c675afa475d46834b2b09039097e25afb5.zip |
Merge remote-tracking branch 'origin/master' into cmake
Conflicts:
README_d/ChangeLog
Diffstat (limited to 'bootstrap.sh')
-rwxr-xr-x | bootstrap.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 700babee..496d8a03 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -3,7 +3,7 @@ # bootstrap.sh --- touch relevant files to avoid out-of-date issues in # Git sandboxes -# Copyright (C) 2007, 2009, 2010, 2011, 2012 the Free Software Foundation, Inc. +# Copyright (C) 2007, 2009-2013 the Free Software Foundation, Inc. # # This file is part of GAWK, the GNU implementation of the # AWK Programming Language. @@ -34,6 +34,8 @@ touch extension/configh.in sleep 1 touch test/Maketests find . -name Makefile.in -print | xargs touch +touch doc/gawk.texi # make later than gawktexi.in +sleep 1 touch doc/*.info touch po/*.gmo touch po/stamp-po |