summaryrefslogtreecommitdiff
path: root/top
diff options
context:
space:
mode:
authorBruno Haible <bruno@clisp.org>2022-07-31 01:07:08 +0200
committerBruno Haible <bruno@clisp.org>2022-07-31 01:07:08 +0200
commitc31c05e0334c985ce0aa8a2cc7a470b197d0c4c2 (patch)
tree7328d20cdc71b5aa0a3212b85cf986671ee2eb1c /top
parent1b4313a18a42c6796b3064e82d45e41c51fcfa7a (diff)
downloadgnulib-c31c05e0334c985ce0aa8a2cc7a470b197d0c4c2.tar.gz
doc: Update regarding bootstrap split.
Reported by Paul Smith <psmith@gnu.org>. * doc/gnulib-tool.texi (gettextize and autopoint): Mention autogen.sh instead of bootstrap. (VCS Issues): Describe three alternative approaches. * doc/gnulib.texi (Developer tools): Mention also autopull.sh and autogen.sh. * top/bootstrap (usage): Fix copy&paste mistake.
Diffstat (limited to 'top')
-rwxr-xr-xtop/bootstrap6
1 files changed, 1 insertions, 5 deletions
diff --git a/top/bootstrap b/top/bootstrap
index e9d8ad82aa..cf8d007f64 100755
--- a/top/bootstrap
+++ b/top/bootstrap
@@ -26,7 +26,7 @@
# Please report bugs or propose patches to bug-gnulib@gnu.org.
-scriptversion=2022-07-24.15; # UTC
+scriptversion=2022-07-29.23; # UTC
me="$0"
medir=`dirname "$me"`
@@ -62,10 +62,6 @@ Options:
--bootstrap-sync if this bootstrap script is not identical to
the version in the local gnulib sources,
update this script, and then restart it with
-
- --bootstrap-sync if this bootstrap script is not identical to
- the version in the local gnulib sources,
- update this script, and then restart it with
/bin/sh or the shell \$CONFIG_SHELL
--no-bootstrap-sync do not check whether bootstrap is out of sync
--copy copy files instead of creating symbolic links