私は外部化ライブラリについて学んでいます (マニュアル バージョン 3.1.3、セクション 52、ページ 661)。ライブラリが変更された をどのように再描画/再生成するかについては何も言及されていません。tikzpicture言い換えると、 をtikzpicture再度再描画する必要が生じるきっかけは何でしょうか?
ドキュメントには次のように記載されていました。
ファイル名はデフォルト設定で自動的に生成されます。この場合、2つのファイル名は次のようになります。メイン図0そして メイン図1存在する場合は、それらの画像が単に含められ、画像自体は処理されません。グラフィック ファイルが存在しない場合は、不足しているファイルを生成する手順が実行されます。
答え1
という名前のファイルもありますmain-figure0.md5。確信はありませんが、これは tikzpicture 全体のハッシュだと思います。そのため、グラフの説明内で何かを変更すると、新しいハッシュが古いハッシュと異なり、再描画がトリガーされます。