Re: Update documentatie
| From: | Allowee | Date: | Tue, 23 Dec 2003 13:48:52 +0000 |
| Subject: | Re: Update documentatie | ||
| References: | 1 2 3 | Groups: | php.doc.nl |
| Request: | Send a blank email to doc-nl+get-304@lists.php.net to get a copy of this message | ||
On Tuesday 23 December 2003 14:16, MaThIbUs wrote:
> waar kan ik die pdf/html-versies vinden?
voor de pdf versie zou je hier kunnen kijken:
http://us2.php.net/download-docs.php
maar dan moet je als mirror ook us2.php.net nemen omdat de andere mirrors met
een error pagia komen (weet ook niet waarom)
- Vincent
> "Derick Rethans" <d.rethans@jdimedia.nl> schreef in bericht
>
> news:Pine.LNX.4.44.0208171925370.13290-100000@jdi.jdimedia.nl...
>
> > On Thu, 15 Aug 2002, Sander Roobol wrote:
> > > Ehm... PDF en HTML gaan automatisch, elke dag of om de twee dagen
> > > ofzo (maar alleen als er ook wat gewijzigd is), en de CHMs worden
> > > (min of
>
> meer
>
> > > handmatig) gemaakt door Derick Rethans (ook een Nederlander
> > > toevallig)
>
> en
>
> > > die maakt eens in de zoveel weken van alle vertalingen een CHMetje.
> >
> > het hoort tegenwoordig automatisch te gaan allemaal, maar vmware wil
> > wel eens hangen :)
> >
> > Derick
> >
> > > On Wed, Aug 14, 2002 at 10:00:00PM +0200, S.P. Telgenhof Oude
> > > Koehorst
>
> wrote:
> > > > Wie genereert eigenlijk nieuwe documantie (PDF, HTML, CHM) van de
> > > > Nederlandse vertaling en wanneer (welke frequentie). Dezelfde vraag
>
> geldt
>
> > > > ook voor de revcheck-file.
> > > >
> > > > Greetz,
> > > >
> > > > Sacha
> > > >
> > > >
> > > >
> > > > --
> > > > PHP Dutch Documentation Mailing List (http://php.net/manual/nl/)
> > > > To unsubscribe, visit:
> > > > http://www.php.net/unsub.php
> > >
> > > --
> > > PHP Dutch Documentation Mailing List (http://php.net/manual/nl/)
> > > To unsubscribe, visit: http://www.php.net/unsub.php
> >
> > -------------------------------------------------------------------------
> >-
>
> -
>
> > Derick Rethans
>
> http://www.derickrethans.nl/
>
> > JDI Media Solutions
>
> http://www.jdimedia.nl/
>
> > -------------------------------------------------------------------------
> >-
>
> -