---------- Forwarded message ----------
Date: Sat, 21 Jul 2001 16:13:07 +0300 (EEST)
From: Jouni Ahto <[EMAIL PROTECTED]>
To: Jim Winstead <[EMAIL PROTECTED]>
Subject: Re: [PHP-DOC] Re: pdf manuals
On Sun, 15 Jul 2001, Jim Winstead wrote:
> On Mon, Jul 16, 2001 at 09:25:16AM +0300, Jouni Ahto wrote:
> >
> > Was there problems, because they don't show up yet on the documentation
> > page, or is it just that nobody did update it? In the former case, I'm
> > still offering help.
>
> the machine that the manual generation runs on doesn't have tex
> installed. we're planning on moving this to a new machine.
>
> hopefully we can have it up and running again by the end of the week.
Just a suggestion: I got a cable modem home last Wednesday and am once
again connected to the net (with enough speed :). And I've already got a
fully working TeX setup, especially hacked and tuned to produce PHP
PDF-manuals. So, why to waste cycles (the process is quite long and
heavy...) on a machine that would be in better use serving continuously
the developer and user community, when my home machine could do it every
day and then ftp/rsync the results to somewhere while I sleep?
-- Jouni
