21 May
2014
21 May
'14
2:55 p.m.
But the OP did not say why he did not rename the
file...
I did not rename the file because I'm using a pre-processing tool (OTT,
to be precise) to
generates a *.tex file from my *.mng file. If I renamed my file to *.mng I would have name
clash
with the automatically generated file.
Janek