22 Sep
2011
22 Sep
'11
12:36 p.m.
On tue, 22 Sep 2011, Aditya Mahajan wrote:
In file-res.mkvi change
\long\def\dodoreadfile#true#false% - {#true + {#true% \relax \normalinput{\readfilename}% \relax} This change does nothing here but the following works:
\def\InputFile#1{\input#1\relax} \setupvimtyping[readcommand=\InputFile]
Another not so linked question: what is the .mkvi extension for (in file-
res.mkvi)? The future of mkiv?
--
Romain Diss