Postgis Manual

["Jeremy Palmer" <palmerj(at)xtra(dot)co(dot)nz>]

Hi guys,

I was wondering if it was possible to get the postgis manual added into the
pgadmin3 help. This would be really useful for a few guys at work as we
always need to refer to the postgis function section, and it would be great
if it was integrated into pgadmin3! The postgis manual is a dockbook, so
making html pages or html help workshop files should be easy enough...

Thanks
Jeremy