diff options
author | Pádraig Brady <P@draigBrady.com> | 2015-06-17 12:58:53 +0100 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2015-06-17 14:50:27 +0100 |
commit | a262318f833c0d929da4bbd1c3002f891fa9bfa1 (patch) | |
tree | 2192115eec2085fcbae1fe90802ffdefbbeb7f1e /gnulib | |
parent | aee982627874e9719bc151007b7e0144edd3963e (diff) | |
download | coreutils-a262318f833c0d929da4bbd1c3002f891fa9bfa1.tar.xz |
maint: remove stale online manual items at release
* gnulib: Update to get the new gnu-web-doc-update with --mirror option.
* README-release: Use the --mirror option in the instructions.
Also clarify and update various release steps.
Diffstat (limited to 'gnulib')
m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject ecabc6b01567522dd542889c353a14f0c2e22f6 +Subproject 9a417cf7d48fa231c937c53626da6c45d09e6b3 |