]> Savannah Git Hosting - gnulib.git/commitdiff
maint: update how to make web pages
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 27 Oct 2016 16:12:16 +0000 (09:12 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 27 Oct 2016 16:12:39 +0000 (09:12 -0700)
* doc/README: Update to match what I did today.

doc/README

index ed632c09d8ef792662da79c6a99969e8507f6221..00d1c35365de9f99ab7210b8c0630717b3499bf6 100644 (file)
@@ -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.