Hi Hilmar, > What do we do with that issue?
Ignore. Nothing that is a real issue whatsoever. If you have energy, report upstream and try a reorganization of these makedoc and other build scripts by moving them into the "srcfiles" category, which would result with them not being installed. But I think this is wasted time for not much -- no gain. I'll probably upload today a new (the last?) checkout. 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
