From: Paul Eggert Date: Thu, 27 Oct 2016 16:12:16 +0000 (-0700) Subject: maint: update how to make web pages X-Git-Tag: v1.0~6573 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=844d82afb543fcd0dc635f09eeef5563ffca2ff2;p=gnulib.git maint: update how to make web pages * doc/README: Update to match what I did today. --- diff --git a/doc/README b/doc/README index ed632c09d8..00d1c35365 100644 --- a/doc/README +++ b/doc/README @@ -21,13 +21,19 @@ How to update gnulib manual on www.gnu.org do GNULIB_WWW_CHECKOUT=`cd $GNULIB_WWW_CHECKOUT && pwd` + cd $GNULIB_WWW_CHECKOUT + tar -cf html-CVS.tar manual/html_node/CVS manual/html_node/.symlinks cd $GNULIB_CHECKOUT/doc make updated-stamp - ../build-aux/gendocs.sh -o "$GNULIB_WWW_CHECKOUT/manual" \ + ../build-aux/gendocs.sh \ + --email bug-gnulib@gnu.org \ + -o "$GNULIB_WWW_CHECKOUT/manual" \ gnulib "The GNU Portability Library" cd $GNULIB_WWW_CHECKOUT + tar -xf html-CVS.tar + rm html-CVS.tar - Verify that the result looks sane. + Run 'cvs diff -u' and verify that the output looks sane. 4) Commit the modified and the new files.