diff options
author | Bruno Haible <bruno@clisp.org> | 2022-07-31 01:07:08 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-07-31 01:07:08 +0200 |
commit | c31c05e0334c985ce0aa8a2cc7a470b197d0c4c2 (patch) | |
tree | 7328d20cdc71b5aa0a3212b85cf986671ee2eb1c /top/bootstrap | |
parent | 1b4313a18a42c6796b3064e82d45e41c51fcfa7a (diff) | |
download | gnulib-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/bootstrap')
-rwxr-xr-x | top/bootstrap | 6 |
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 |