Re: rsync server
| From: | Gabor Hojtsy | Date: | Fri, 17 May 2002 06:25:06 +0000 |
| Subject: | Re: rsync server | ||
| References: | 1 2 3 | Groups: | php.mirrors |
| Request: | Send a blank email to php-mirrors+get-10291@lists.php.net to get a copy of this message | ||
> (but one big thing we could do to make the rsync setup more optimal
> would be to purge the 'plain' versions of the manual. once someone gets
> around to do a print-friendly stylesheet for the un-plain version, it
> will make sense to do this.)
Well, I think I'll take a look at it on the weekend, if I'll have
the time. It is more easiert, then it looks like. As the plain HTML
and PHP versions of the manuals are just different in some added
PHP code, and so we can add code to every page to detect a ?plain
parameter, and so we can print out the manual in plain text ;)
This way, we may also include some more sophisticated navigation
in the printable version. I'll look at this, if I'll have the time.
One more thing was what you mentioned, that it would be nice to
only put a bz2 of the PHP format manuals onto the rsync server
(one by language), and do not rsync the whole dir, but rsync one
file per language for the online manuals...
Goba