On Wed, 11 Feb 2009, Nicolas François wrote: > So I propose to either: > * remove the doctype check > * add an option to ignore doctype check failures > * make the error more verbose, i.e: > Bad document type. 'docbook xml' expected. > Try specifying the string that should be check in the > document type with the -o doctype option, or ignore this > check with -o doctype="". > > Would you have a preference?
I think the check is not really needed. It should output a warning stating that the doctype has an unexpected value and that the tool might not behave correctly if the input really is something different. But I don't think it's a reason to fail. But the other options are OK as well. Cheers, -- Raphaël Hertzog Le best-seller français mis à jour pour Debian Etch : http://www.ouaza.com/livre/admin-debian/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
