[PATCH] Help with updating web manual.

[Joel E. Denny]

I pushed this to master and to branch-2.4.2.

I also updated the web manual to 2.4.1.

>From 1c93f35bfa3bcfcc66bd19e3e833cc28583d2185 Mon Sep 17 00:00:00 2001
From: Joel E. Denny <address@hidden>
Date: Fri, 3 Apr 2009 18:32:02 -0400
Subject: [PATCH] Help with updating web manual.

* HACKING: Incorporate instructions from gnulib/doc/README.
* bootstrap.conf (gnulib_modules): Add gendocs.

diff --git a/ChangeLog b/ChangeLog
index fd23240..abae4b8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-03  Joel E. Denny  <address@hidden>
+
+       Help with updating web manual.
+       * HACKING: Incorporate instructions from gnulib/doc/README.
+       * bootstrap.conf (gnulib_modules): Add gendocs.
+
 2009-04-03  Akim Demaille  <address@hidden>
 
        Regen.
diff --git a/HACKING b/HACKING
index 16dff1a..82f07bb 100644
--- a/HACKING
+++ b/HACKING
@@ -283,6 +283,47 @@ Here's a brief reminder of how to roll the tarballs and 
upload them:
 *** put bison-2.3b.tar.gz.directive.asc
 *** Repeat all these steps for bison-2.3b.tar.bz2.
 
+** Update Bison manual on www.gnu.org.
+
+*** You need a non-anonymous checkout of the web pages directory.
+
+  $ cvs -d address@hidden:/web/bison checkout bison
+
+*** Get familiar with the instructions for web page maintainers.
+http://www.gnu.org/server/standards/readme_index.html
+http://www.gnu.org/server/standards/README.software.html
+especially the note about symlinks.
+
+*** Build the web pages.
+Assuming BISON_CHECKOUT refers to a checkout of the Bison dir, and
+BISON_WWW_CHECKOUT refers to the web directory created above, do:
+
+  $ cd $BISON_CHECKOUT/doc
+  $ make stamp-vti
+  $ ../build-aux/gendocs.sh -o "$BISON_WWW_CHECKOUT/manual" \
+    bison "Bison - GNU parser generator"
+  $ cd $BISON_WWW_CHECKOUT
+
+Verify that the result looks sane.
+
+*** Commit the modified and the new files.
+
+*** Remove old files.
+Find the files which have not been overwritten (because they belonged to
+sections that have been removed or renamed):
+
+   $ cd manual/html_node
+   $ ls -lt
+
+Remove these files and commit their removal to CVS.  For each of these
+files, add a line to the file .symlinks.  This will ensure that
+hyperlinks to the removed files will redirect to the entire manual; this
+is better than a 404 error.
+
+There is a problem with 'index.html' being written twice (once for POSIX
+function 'index', once for the table of contents); you can ignore this
+issue.
+
 ** Announce
 To generate a template announcement file:
 
diff --git a/bootstrap.conf b/bootstrap.conf
index bcab1b8..c7596c1 100644
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -1,6 +1,6 @@
 # Bootstrap configuration.
 
-# Copyright (C) 2006, 2007, 2008 Free Software Foundation, Inc.
+# Copyright (C) 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
 
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -17,12 +17,12 @@
 
 # gnulib modules used by this package.
 gnulib_modules='
-       announce-gen argmatch config-h c-strcase configmake
-       dirname error extensions fopen-safer getopt gettext git-version-gen
-       gnumakefile hash inttypes javacomp-script javaexec-script malloc
-       mbswidth obstack quote quotearg stdbool stpcpy strerror strtoul
-       strverscmp unistd unistd-safer unlocked-io unsetenv verify
-       warnings xalloc xalloc-die xstrndup
+  announce-gen argmatch config-h c-strcase configmake dirname error
+  extensions fopen-safer gendocs getopt gettext git-version-gen
+  gnumakefile hash inttypes javacomp-script javaexec-script malloc
+  mbswidth obstack quote quotearg stdbool stpcpy strerror strtoul
+  strverscmp unistd unistd-safer unlocked-io unsetenv verify warnings
+  xalloc xalloc-die xstrndup
 '
 
 # Additional xgettext options to use.  Use "\\\newline" to break lines.