Closed blefloch closed 9 years ago
When TeX \openout's a file, it is emptied right away, rather than waiting to \write stuff to it. We should do the same, rather than doing everything at \closeout.
\openout
\write
\closeout
When TeX
\openout
's a file, it is emptied right away, rather than waiting to\write
stuff to it. We should do the same, rather than doing everything at\closeout
.