This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Patch to create copy of update_web_docs for use for old releases
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 17 Dec 2001 17:36:19 +0000 (GMT)
- Subject: Patch to create copy of update_web_docs for use for old releases
I'll be making update_web_docs use makeinfo --html. Rather than also
making this work with the old release branches and changing the method
used to generate onlinedocs for those releases part way through those
release cycles, I've created a copy of update_web_docs as
update_web_docs_old, with this patch, to use with those versions.
This will also allow update_web_docs to be simplified because it will
no longer need to allow for old names of some manuals or different
directories in which include files may be found.
2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk>
* update_web_docs_old: Copy from update_web_docs. Add comment
that this is for GCC 3.0.x and earlier versions.
--- update_web_docs Tue Nov 6 16:46:41 2001
+++ update_web_docs_old Mon Dec 10 15:45:43 2001
@@ -1,5 +1,8 @@
#!/bin/sh -x
+# Generate HTML documentation from GCC Texinfo docs.
+# This version is for GCC 3.0.x and earlier versions.
+
# Run this from /tmp.
CVSROOT=/cvs/gcc
export CVSROOT
--
Joseph S. Myers
jsm28@cam.ac.uk