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