![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
12 Sep
2005
12 Sep
'05
9:52 a.m.
Thomas A. Schmitz wrote:
working directory, and -- I got no output again. diff shows that both files are identical. Looking at the logs, there's only one difference I can spot:
Perhaps it can be that something decides that your file has the interesting filename extension '11.08-mpgraph.mp' instead of just '.mp'? Taco