[news.eclipse.tools.pdt] Re: How can the manual for looking PHP function

[David Carver <dcarver@xxxxxxxxxxxxxxxx>]

I believe the PHP manual sources are kept in DocBook format and 
generated to the appropriate target formats.  What would be nice is if 
an eclipse plugin help plugin could be generated, and then installed as 
an option into an existing eclipse instance.

Information on how to generate the eclipse help from Docbook can be 
found here:

http://wiki.eclipse.org/Authoring_Eclipse_Help_Using_DocBook

Zend could offer this as a download or via their Update site.

Dave


Mark Kirchner wrote:
> > How can the manual for looking PHP functions ie under Preferences | PHP
> > | manual be set local version of the PHP manual?
> >
> > Is there a download for that? Can I download the current manual for PHP
> > and get eclipse to look it up?
>
> Yes, that's possible. Download the "Many HTML files"-version of the PHP
> documentation from http://www.php.net/download-docs.php
>
> After extracting it somewhere, go to "Preferences" -> "PHP" -> "PHP
> Manual" and add a "New" entry. Select "Local Directory" and enter the
> path where you have extracted the files to. Make sure that "File
> Extension" is set to "html".
>
> After marking the new entry as the "Default", the "Open PHP
> manual"-action should open the appropriate local html-file.
>
> HTH,
> Mark