Changes between Initial Version and Version 1 of Ticket #47125, comment 9


Ignore:
Timestamp:
Apr 24, 2015, 7:23:19 AM (10 years ago)
Author:
RJVB (René Bertin)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #47125, comment 9

    initial v1  
    11I guess I didn't realise one could fine-tune the behaviour of a variant defined in the PortGroup (can one?!)...
     2
     3Edit:I don't recall to what extent this port is concerned, but as a general rule I find it a better solution if documentation can be installed (and uninstalled) independently from (and possibly even without installing) the main port. This is especially useful for large ports that take way too long to build and/or install a huge quantity of documentation.