On Mi, 18 Aug 2010, Hilmar Preusse wrote: > Does that hurt us? Not at all.
The problem is that the Ubuntu patch is useless, because it works directly on the source package, and not on the code that generates the source package. And since the info files to be installed are dynamically selected from the tlpdb some code has to be changed or the tlpdb has to be fixed so that this works. Nothing I have currently time and energy for. Best wishes Norbert ------------------------------------------------------------------------ Norbert Preining prein...@{jaist.ac.jp, logic.at, debian.org} JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------ WORKSOP (n.) A person who never actually gets round to doing anything because he spends all his time writing out lists headed 'Things to Do (Urgent)'. --- Douglas Adams, The Meaning of Liff -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org