On Mon, 18 Feb 2002, Angus Leeming wrote: > On Saturday 16 February 2002 5:31 pm, Herbert Voss wrote: > > I have no problem with > > > > \converter "user" "eps" "xmgrace -hardcopy -hdevice EPS $$i" "" > > > > Herbert > > Sure, Herbert, but it is still rather ugly, specifying user1, user2 etc. If > Rob wants to define an agr format, then let's let him. I think that this > would do it:
[...] this should be much more easier: instead of "user", I will return the file-extension, if present. Only when we can not detect a file type from the contents and have no extension than I return "user" Herbert
