On 10/26/2016 05:12 AM, Bruno Haible wrote:
I don't remember who will propagate it to the web pages [1].
I did it just now. That's a blast from the past, doing bulk CVS
checkins! I installed the attached to document what I did.
From 4f320acac5a2d5c8abc695c7b653b8ee27bba425 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 27 Oct 2016 09:12:16 -0700
Subject: [PATCH] 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(-)
diff --git a/doc/README b/doc/README
index ed632c0..00d1c35 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.
--
2.7.4
