typeset で dvipdfmx を使って SmatraPDF を自動更新、とかやっているのだけど、10ページほどの pdf を更新するのに、
typeset finished at Fri Aug 14 17:11:27 (14.72 secs)
のように時間がかかるので、使い物にならない。dviout の方が100倍速い。
typeset で dvipdfmx を使って SmatraPDF を自動更新、とかやっているのだけど、10ページほどの pdf を更新するのに、
typeset finished at Fri Aug 14 17:11:27 (14.72 secs)
のように時間がかかるので、使い物にならない。dviout の方が100倍速い。