Re: Source Special

名前: 角藤
日時: 2002-06-12 15:20:41
IPアドレス: 157.13.1.*

>>8914

最終出力では source specials を付けないのが正解だと思います。
source specials を付けると、通常の dvi ではなくなるため、
出力結果に影響を与えることがあり得ます。従って、ごく最近の
TeX では source specials オプションが on のときは、
banner が違っており、注意を促すようになっています。

(オリジナル TeX の source specials オンのときの banner:)

This is derived from TeX, Version 3.14159 (Web2C 7.3.7)
Source specials enabled.

この書き込みへの返事：