22 Sep
2011
22 Sep
'11
4:28 p.m.
On Thu, 22 Sep 2011, Romain Diss wrote:
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:
You also need to regenerate the format.
\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?
Yes. This allows you to write symbolic variable names (#true, #false) rather than numeric variables (#1, #2). I think this is documented in the mkiv manual. Aditya