Menu

#64 /usr/share/doc file locations are not configurable

v1.0
wont-fix
None
5
2018-12-16
2011-10-23
Chris Mayo
No

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.

Discussion

  • Chris Mayo

    Chris Mayo - 2011-10-23

    Patch to move html location

     
  • Giuseppe Torelli

    Thank you for this patch. I will apply it in the next version, probably 4.0

     
  • Giuseppe Torelli

    • status: open --> pending
    • Group: --> v1.0
     
  • Giuseppe Torelli

    • status: pending --> wont-fix
    • assigned_to: Giuseppe Torelli
     
  • Giuseppe Torelli

    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.

     

Log in to post a comment.