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 _______________________________________________ ntg-context mailing list ntg-context@ntg.nl http://www.ntg.nl/mailman/listinfo/ntg-context
