aboutsummaryrefslogtreecommitdiffstats
path: root/bootstrap.sh
diff options
context:
space:
mode:
authorJuergen Kahrs <Juergen.Kahrs@googlemail.com>2013-04-28 19:30:52 +0200
committerJuergen Kahrs <Juergen.Kahrs@googlemail.com>2013-04-28 19:30:52 +0200
commit11c996c675afa475d46834b2b09039097e25afb5 (patch)
tree8e720e41b15affe811b21d74bddba14c302612fa /bootstrap.sh
parent74db9f3cb12c4c45487b8646473daad7d0df641f (diff)
parent1dd19986291bdd1129ac08eec40d963a65170422 (diff)
downloadegawk-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-xbootstrap.sh4
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