diff options
Diffstat (limited to 'Admin/release-steps')
| -rw-r--r-- | Admin/release-steps | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Admin/release-steps b/Admin/release-steps index 92899f5..e5bcc12 100644 --- a/Admin/release-steps +++ b/Admin/release-steps @@ -73,3 +73,14 @@ Tasks not to forget before release: - Tag the repository, using a simple tag and optionally a branch tag. +- Regenerate the documentation for www.gnu.org: + - In the gettext-tools/doc/ directory, copy the + gendocs.sh and gendocs_template files and run + $ cp -p ../../gettext-runtime/doc/*.texi . + $ ./gendocs.sh gettext "GNU gettext" + - In the gettext-runtime/libasprintf/ directory, copy the + gendocs.sh and gendocs_template files and run + $ ./gendocs.sh autosprintf "GNU autosprintf" + Copy the resulting manual/ directories, commit them in CVS, and for every + removed HTML file (that corresponds to a deleted node) add a line to the + .symlinks file in the same directory. |