This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to create copy of update_web_docs for use for old releases
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Tue, 18 Dec 2001 09:51:36 +0100 (CET)
- Subject: Re: Patch to create copy of update_web_docs for use for old releases
On Mon, 17 Dec 2001, Joseph S. Myers wrote:
> 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 [...]
That makes sense, pragmatically. :-)
Though, wouldn't it have been better to name the "old" script ..._3.0
or similiar? (What, if in the future we need yet another, third version?)
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/