From df336dc1ae60d8ad9f452f2234951133fe617bb0 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sun, 17 Jul 2022 12:55:05 +0200 Subject: [PATCH] doc: Update README. * doc/README: Fix stale links (reported by Tzvetelin Katchov). Clarify the relation to build-aux/gnu-web-doc-update. --- ChangeLog | 6 ++++++ doc/README | 9 +++++++-- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index a62139a557..713ef18717 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. -- 2.39.5