From ac9dd0041307b1d3a68d26bf73567aa61222df54 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 3 Mar 2025 22:02:04 +0100 Subject: [PATCH] doc: Update publication recipe. * doc/README: Update publication commands. --- ChangeLog | 5 +++++ doc/README | 12 ++++++++++-- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9b19d95cf7..a76b923957 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2025-03-03 Bruno Haible + + doc: Update publication recipe. + * doc/README: Update publication commands. + 2025-03-03 Simon Josefsson doc: Document upcoming Gnulib Git Bundle. diff --git a/doc/README b/doc/README index cf60ab6722..a70247376c 100644 --- a/doc/README +++ b/doc/README @@ -23,9 +23,13 @@ How to update gnulib manual on www.gnu.org GNULIB_WWW_CHECKOUT=`cd $GNULIB_WWW_CHECKOUT && pwd` cd $GNULIB_WWW_CHECKOUT + cvs update -dP tar -cf html-CVS.tar manual/html_node/CVS manual/html_node/.symlinks - cd $GNULIB_CHECKOUT/doc - make updated-stamp + cd $GNULIB_CHECKOUT + git checkout master + git pull + cd doc + make undocumented-modules.texi updated-stamp ../build-aux/gendocs.sh \ -I ../build-aux \ --email bug-gnulib@gnu.org \ @@ -34,6 +38,10 @@ How to update gnulib manual on www.gnu.org cd $GNULIB_WWW_CHECKOUT tar -xf html-CVS.tar rm html-CVS.tar + newfiles=`cvs -n update -dP | sed -n -e 's|^[?] manual/html_node/|manual/html_node/|p'` + if test -n "$newfiles"; then + cvs add $newfiles + fi Run 'cvs diff -u' and verify that the output looks sane. -- 2.39.5