On Sat, 14 Apr 2001, Hojtsy Gabor wrote:
> Derik!
>
> > I just added this script as make_man.php to the phpdoc cvs tree, so that
> > others can easily modify it.
>
> Have you tested it, or just uploaded into phpdoc?
I tested it too, it has some strange messages, but it works for me too
(tm)
Der
> Derik!
>
> > I just added this script as make_man.php to the phpdoc cvs tree, so that
> > others can easily modify it.
>
> Have you tested it, or just uploaded into phpdoc?
>
> Goba
Derick tested this before he commited it.
- James
Derik!
> I just added this script as make_man.php to the phpdoc cvs tree, so that
> others can easily modify it.
Have you tested it, or just uploaded into phpdoc?
Goba
... . . . . .
Editor of the Hungarian PHP manual, Admin of the Hungar
Hello Roel,
I just added this script as make_man.php to the phpdoc cvs tree, so that
others can easily modify it.
Derick
On Fri, 13 Apr 2001, Roel Vanhout wrote:
> Hi all,
>
> I had no luck with the programs some people on this list suggested :-(
> and since I'm too lazy to do it in two steps,
Hi all,
I had no luck with the programs some people on this list suggested :-(
and since I'm too lazy to do it in two steps, I wrote a php script with
some regexp matching to extract what I needed. It's not perfect, it
gives a few screens of warnings when run, but It Works For Me(tm). I now
have
[Cced to [EMAIL PROTECTED] who's looked into docbook -> man before ]
Roel Vanhout wrote:
> Is there a way to get the php manual in man format?
Take a look at http://docbook2x.sourceforge.net/
Last time I tried, it didn't work with the PHPdoc manual.xml (and fiddly
to install) - there have been
[Roel Vanhout <[EMAIL PROTECTED]>]
> Hi,
>
> Is there a way to get the php manual in man format? afaik there is no
> groff backend for jade, but has someone maybe written something else?
> I've tried to make a perl script to convert the xml source to man, but
> the structure of the documents is t
