> 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