From: Stefano Lattarini Date: Thu, 13 Dec 2012 15:03:35 +0000 (+0100) Subject: HACKING: update instructions to update the manuals at www.gnu.org X-Git-Tag: v1.12.6~11^2 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4c550df0e1c78141a807d7b5303c57fa7fc04c7a;p=thirdparty%2Fautomake.git HACKING: update instructions to update the manuals at www.gnu.org Signed-off-by: Stefano Lattarini --- diff --git a/HACKING b/HACKING index 27eec31fd..4641d9017 100644 --- a/HACKING +++ b/HACKING @@ -258,10 +258,25 @@ locations. In case you need to sign with a non-default key, you can use "make GNUPLOADFLAGS='--user KEY' git-upload-release". -* For stable releases, update the manuals at www.gnu.org: - - Generate manuals, running "make web-manuals". - - Copy manuals recursively to web CVS. - - Commit in CVS. +* For stable releases you'll have to update the manuals at www.gnu.org. + + - Generate manuals (with the help of the standard gendocs.sh script): + + make web-manual + + The ready-to-be-uploaded manuals (in several formats) will be left + in the 'doc/web-manuals' directory. + + - Commit the updated manuals to web CVS: + + make web-manual-update + + If your local username is different from your username at Savannah, + you'll have to override the 'CVS_USER' make variable accordingly; + for example: + + make web-manual-update CVS_USER=slattarini + - Check for link errors, fix them, recheck until convergence: