Re: Re: pdf manuals (fwd)

---------- Forwarded message ---------- Date: Sat, 21 Jul 2001 16:13:07 +0300 (EEST) From: Jouni Ahto <jah@php.net> To: Jim Winstead <jimw@php.net> 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