Re: [PHP-DOC] php manual in man format From: Roel Vanhout (roel <email protected>)
Date: 04/12/01

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 1825 manpages. I have prepended every file with php_ to make the
distinction between other commands/functions and the php functions,
people who don't want that can change the script (it's a very simple
script). Suggestions to handle this would be welcome. Also, I put
section 7 in the header of the pages, I'm not sure how correct this is,
I guess it's ok.
One thing that is not so nice in this script is how sample code is
displayed; I run code parts through indent but it doesn't handle php
tags and html tags very well, and newlines are mostly lost in the man
page. If someone would want to spend some time hacking indent to support
php, I would appreciate a mail on where to get that modified version :-)

cheers,

roel

On Sun, Apr 08, 2001 at 08:14:05PM +0200, Roel Vanhout wrote:
> 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 too complex to handle easily :-(
> Thanks.
>
> cheers,
>
> roel