From: Bruno Haible Date: Mon, 3 Mar 2025 21:02:04 +0000 (+0100) Subject: doc: Update publication recipe. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=ac9dd0041307b1d3a68d26bf73567aa61222df54;p=gnulib.git doc: Update publication recipe. * doc/README: Update publication commands. --- 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.