From: Bruno Haible Date: Sun, 17 Jul 2022 10:55:05 +0000 (+0200) Subject: doc: Update README. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=72d68b64d7b282d83bf91ee79b6c5212812a7e1b;p=gnulib.git doc: Update README. * doc/README: Fix stale links (reported by Tzvetelin Katchov). Clarify the relation to build-aux/gnu-web-doc-update. --- diff --git a/ChangeLog b/ChangeLog index 8a9d2f43d9..db55ff2ec6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2022-07-17 Bruno Haible + + doc: Update README. + * doc/README: Fix stale links (reported by Tzvetelin Katchov). Clarify + the relation to build-aux/gnu-web-doc-update. + 2022-07-14 Bruno Haible doc: Fix typo. diff --git a/doc/README b/doc/README index 06a40a751c..cf60ab6722 100644 --- a/doc/README +++ b/doc/README @@ -12,9 +12,10 @@ How to update gnulib manual on www.gnu.org checkout gnulib 2) Get familiar with the instructions for web page maintainers. - https://www.gnu.org/server/standards/readme_index.html - https://www.gnu.org/server/standards/README.software.html + https://www.gnu.org/server/standards/gnu-website-guidelines.html especially the note about symlinks. + Some of this page may also be relevant: + https://www.gnu.org/server/standards/README.webmastering.html 3) Assuming GNULIB_CHECKOUT refers to a checkout of the gnulib dir, and GNULIB_WWW_CHECKOUT refers to the other directory created above (1), @@ -51,3 +52,7 @@ How to update gnulib manual on www.gnu.org There is a problem with 'index.html' being written twice (once for POSIX function 'index', once for the table of contents); you can ignore this issue. + +Note: For updating the www.gnu.org pages of *other* GNU packages, package +specific scripts can be used, or build-aux/gnu-web-doc-update may possibly +work.