[GRASS-dev] packaging the programmers manual

Hi,

I'm working on the debian/ubuntu package for 6.4.2 and splitting off the
programmers' manual into its own (now optional) package.

include/Make/Docs.make offers several options, I'm just wondering which
is best? currently "make htmldocs" is used and a lot of per-dir copying
by the packaging script. Not sure if inter-library links still work that
way post-install or if it will take a lot of tweaking.

for the online version, MarkusN seems to ship all 11k files in one dir,
is that the result of "make htmldocs-single" or a fancy install script?

or would making it into a single PDF be preferred for a local end-user
pre-packaged copy?

advantages? disadvantages?

thanks for any suggestion,
Hamish