コマンドplatexのオプションsrcについて

名前: アーベル
日時: 2007-12-29 12:22:41
IPアドレス: 221.121.175.*

お世話になります。
標題の意味はこういうことです。
platex -src Mybook.texの手法を愛用しています。
dvi画面で左クリック＋shiftしたときsrcが出て来ないときが在るのです。
奥村晴彦著第4版についていたCDを使わせていただいています。
先頭に
\documentclass[12pt,b5paper]{jsbook}
を書いています。
より詳しく言えば
普通は
       Copy
Add    ->Src
Full   Close
が出てうまく該当場所を見つけてきています。ところがTeXファイル、つまり原稿の個所によっては
       Copy
Add    Execute
Full   Close
となるのです。Executeとは何者なのでしょうか？このときはどうしようもないのですか？

この書き込みへの返事：