diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-10-27 09:12:16 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-10-27 09:12:39 -0700 |
commit | 844d82afb543fcd0dc635f09eeef5563ffca2ff2 (patch) | |
tree | aab8b4945415f73f0872f3ffccadeac98bb4cfae /doc/README | |
parent | ae23caf43875cd2aba829a4d5ba6f24f261fe7df (diff) | |
download | gnulib-844d82afb543fcd0dc635f09eeef5563ffca2ff2.tar.gz |
maint: update how to make web pages
* doc/README: Update to match what I did today.
Diffstat (limited to 'doc/README')
-rw-r--r-- | doc/README | 10 |
1 files changed, 8 insertions, 2 deletions
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. |