diff options
author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-12-13 16:03:35 +0100 |
---|---|---|
committer | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-12-13 20:18:11 +0100 |
commit | 4c550df0e1c78141a807d7b5303c57fa7fc04c7a (patch) | |
tree | e50e8a233a327790a8b8dc62b11bb02a2a72f934 /HACKING | |
parent | 811d4f3d28ccb30804492bc49998d6f4726faeaf (diff) | |
download | automake-4c550df0e1c78141a807d7b5303c57fa7fc04c7a.tar.gz |
HACKING: update instructions to update the manuals at www.gnu.org
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Diffstat (limited to 'HACKING')
-rw-r--r-- | HACKING | 23 |
1 files changed, 19 insertions, 4 deletions
@@ -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: <http://validator.w3.org/checklink> |