[xml] xmllint and fetching DTDs over the network


I wonder whether it would be possible to add a switch to xmllint that
causes it to print which DTDs it's fetching over the network because
it didn't find them locally. This would be very helpful when trying to
figure out which DTDs are missing.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]