日記を書いていて、自分の日常に起こったこと以外に、 ネットで目にしたものもメモとして記録しているのだが、 今日は何かに引っかかった。
なかなか原因が判明せず、TEX ファイルを binary search をすることに。 他人の作ったプログラムではあるまいし、滅多にないことだ。
ようやく犯人を突き止めた。ある画像ファイルが原因だった。 普通に表示できるけどねえ… あ、拡張子は .png だけど、中身は JPEG だ。 そのせいか?ピンポン。