28 Nov
2016
28 Nov
'16
4:33 p.m.
On 28/11/16 14:57, Syd Bauman wrote:
Another difference: I was using old commandline `roma`, not current `teitorelaxng`. I will give the latter a try after my meeting which starts in 3 mins.
You really should stop using that, IMHO. If you don't want to change names, then make some aliases that really point to the new scripts. ;-) I'm not saying that is the problem... but is one of the first things I'd check! -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford