[cssed-devel] New plugin: developer doc plugin

[<mic...@ea...>]

I've just finished the plugin to view the doc for plugins in the user's=20=

favorite browser.

The whole process consists of:

1 - Copying cssed/include/*.h into cssed-plugin-doc/include to be sure=20=

to have the latest headers
2 - Generate html with doxygen to be sure to have the latest docs
3 - Integrate cssed-plugin-doc/html into a new plugin, namely=20
cssed-plugindoc-plugin

That's to say the source files are not delivered, just the doc in html=20=

format, but the user can browse it from within cssed.

As for browsing I use merely the open command, and the doc is placed in=20=

usr/share/cssed/plugindoc. A patch to src/plugindoc.c is necessary if=20
the doc should not be placed at this location. A new item menu is added=20=

to the Plugins menu to browse the doc.

Tell me if it's OK. Then I'll upload both new doxygen files (updated to=20=

the latest headers) and the new plugin to my site, because they are too=20=

big to put them on the mailing list and post here the urls.

I wonder if the right place in the menu should not be in Help menu=20
(I've put it in Plugins menu). Then I could do the same for the user's=20=

doc, probably in the same plugin.

Mich=E8le
<http://micmacfr.homeunix.org>=