Also allowing such man entries will go well with the upcoming PHP versions, which come standard with CLI now.
Philip On Thu, 28 Feb 2002, Jirka Kosek wrote: > Hartmut Holzgraefe wrote: > > > > Enrico Weigelt wrote: > > > okay, let's code it! > > > > we already have phpdoc/scripts/make_man.php, > > but i'd like to see a more general solution like docbook2man ... > > There is such solution, but I didn't used it personally: > > http://docbook2x.sourceforge.net/docbook2manxml.html > > -- > ----------------------------------------------------------------- > Jirka Kosek > e-mail: [EMAIL PROTECTED] > http://www.kosek.cz >
