From 844d82afb543fcd0dc635f09eeef5563ffca2ff2 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 27 Oct 2016 09:12:16 -0700 Subject: maint: update how to make web pages * doc/README: Update to match what I did today. --- doc/README | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'doc/README') 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. -- cgit v1.2.1