]> Savannah Git Hosting - gnulib.git/commitdiff
doc: Update publication recipe.
authorBruno Haible <bruno@clisp.org>
Mon, 3 Mar 2025 21:02:04 +0000 (22:02 +0100)
committerBruno Haible <bruno@clisp.org>
Mon, 3 Mar 2025 21:02:04 +0000 (22:02 +0100)
* doc/README: Update publication commands.

ChangeLog
doc/README

index 9b19d95cf7b6bba8140be485b8991a7b06126ddf..a76b9239570f3c5624fa5a69a7890836c9ce239b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2025-03-03  Bruno Haible  <bruno@clisp.org>
+
+       doc: Update publication recipe.
+       * doc/README: Update publication commands.
+
 2025-03-03  Simon Josefsson  <simon@josefsson.org>
 
        doc: Document upcoming Gnulib Git Bundle.
index cf60ab6722ca411971e07b9b4666620ce35c4d62..a70247376c1615f42fdbee0630fa772439f417eb 100644 (file)
@@ -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.