search

texjporg / tex-jp-build

Minimum source repository to build Japanese TeX processing tools
23 stars 6 forks source link

Fix #91 (is there better fix?) #92

Closed h-kitagawa closed 5 years ago

h-kitagawa commented 5 years ago

91 の修正です（TeX82 のことを考えるともっと良い修正案がありそうですが……）．

aminophen commented 5 years ago

r52388 でコミットしました。ありがとうございました。（TeX82 は標準で \synctex が有効でないので考えないことにしましょう…。）