On Di, 03 Sep 2013, Fabian Greffrath wrote: > > Why? Sounds like a _very_ bad idea to me (no matter if others did > > similar bad stuff in the past). > > Because the font names may be hard coded somewhere (the internal > FontName and FontFamily fields, I am not talking about the file names).
One more thing - I *agree* (for now at least) that *chanigng the /FontName is *not* a good idea. Norbert ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
