V portindexu mam: OPTIONS= MINOR "Install minorupdates program" off \ MISCTOOLS "Install misc. tools" off \ PKGHISTORY "Install pkghistory package" off V soucasne dobe misctools potrebuje pkghistory. Jak to mam resit? Mam nastavit IGNORE nebo BROKEN pokud je zaskrtnute misctools a neni aktivovano pkghistory nebo to mam automaticky aktivovat?