> Just inst/bin/* matters, not the other top-level dirs that end up under > inst/. Everything besides bin/* comes from Master. -k Sorry indeed, my fault. Only inst/bin/* Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13