This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to update_web_docs: generate PostScript
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: Patch to update_web_docs: generate PostScript
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Thu, 7 Jun 2001 07:21:48 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>
On Tue, 5 Jun 2001, Joseph S. Myers wrote:
> Tested on gcc.gnu.org; OK to commit?
Good.
> 2001-06-05 Joseph S. Myers <jsm28@cam.ac.uk>
>
> * update_web_docs, doc_exclude: Check out files that may be in the
> Attic. Check out texinfo.tex. Don't generate anything from
> c-tree.texi. Generate PostScript output from manuals.
Yes, thanks!
(For the Postscript stuff we also need a corresponding change to
onlinedocs/index.html, don't we?)
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/