Bob Stayton <bobs <at> sagehill.net> writes:
>
> I think the catalog resolver is functioning properly, but you can question
> the behavior of xmllint.
>
Glad to hear that I was not doing something wrong.
<!-- Description of xmllint's behaviour snipped -->
> As another data point, I tried Saxon which uses the Java catalog resolver
> (resolver.jar). When Saxon encounters the bad catalog entry, it seems to
> fall back to the original URI, which is what you want.
>
Perhaps you could update your tutorial to point out this difference between
xmllint and Saxon in this regard?