On Mo, 19 Nov 2007, Bernd Zeimetz wrote: > I think we need to make a difference here if upstream's original > document is the pdf - or if the pdf was created from xml/tex/... source. > It's not common to create documentations as pdf file in pdfedit or Adobe > Acrobat, but it may happen, and then they should be allowed in main > (probably after checking for embedded fonts).
Completely agreed. What would be the source in this case? Best wishes Norbert ------------------------------------------------------------------------------- Dr. Norbert Preining <[EMAIL PROTECTED]> Vienna University of Technology Debian Developer <[EMAIL PROTECTED]> Debian TeX Group gpg DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------------- HOFF (vb.) To deny indignantly something which is palpably true. --- Douglas Adams, The Meaning of Liff -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]