/usr/share/doc file locations are not configurable
Brought to you by:
gt67
Typically the directories used under /usr/share/doc are configurable with --docdir or--htmldir options to configure. (Gentoo uses this to put an applications files into /usr/share/doc/<appname>-<revision>). imagination 3.0 puts its manual into /usr/share/doc but the directory is hardcoded (--htmldir is actually offered by configure but doesn't do anything).
Easiest solution is the patch attached is to move the html files to /usr/share/imagination. A more involved way would be to honour --htmldir in installation and main-window.c.
Patch to move html location
Thank you for this patch. I will apply it in the next version, probably 4.0
Hello Chris, I reviewed your patch. I think it would be better to have the --htmldir option honoured rather than simply avoiding the doc subfolder as the patch does. Thanks for your time to provide a patch anyway.