Re: install.xml en

From: Date: Sat, 06 Oct 2001 15:13:57 +0000
Subject: Re: install.xml en
References: 1  Groups: php.doc 
Request: Send a blank email to phpdoc+get-969337888@lists.php.net to get a copy of this message
On Thu, 4 Oct 2001, Hojtsy Gabor wrote: > > > > > > Actually there is a txt downloadable version of the manual, so > > > > > > the install.txt file can be cropped from that file. > > > > > > > > > > > > Goba > > > > > It would still be nice if that could be automatic - otherwise it's > > liekly > > > > to > > > > > be forgotten when building a new release. > > > > > > > > OK, I'll see what I can do... > > > > > > May I suppose adding a new target to Makefile? make install.txt... will > > > need some auxiliary files too, but should be anyway quite easy. > > > > Great idea. I am just a bit experienced with Linux tools. Maybe we > > can get out the lines needs to be put into the install.txt with a > > grep with some tools piped together. Do you have a better idea? > > Maybe you can do this much faster than me Jouni :)) > > Actually we can also generate the install.txt from the installation.html > and other installation files filtered through lynx, and glued to each > other. So not extracting, but putting together the things... Yes, we can, but it would be faster and easier to have a separate target in makefile for it. I've got the setup ready and will commit tomorrow, if nobody argues against it. -- Jouni

« previous php.doc (#969337888) next »