diff options
author | Daniel Veillard <veillard@src.gnome.org> | 2003-08-18 16:39:51 +0000 |
---|---|---|
committer | Daniel Veillard <veillard@src.gnome.org> | 2003-08-18 16:39:51 +0000 |
commit | 66f68e716ba29bf333cb0c83d401b7a06afe2197 (patch) | |
tree | 84c800e0eb1683a81bd8ea7fe6dee701ee21119b /doc/xmllint.xml | |
parent | 2fdbd32d514c8b9d166a80564aca3426ec9cfdb2 (diff) | |
download | android_external_libxml2-66f68e716ba29bf333cb0c83d401b7a06afe2197.tar.gz android_external_libxml2-66f68e716ba29bf333cb0c83d401b7a06afe2197.tar.bz2 android_external_libxml2-66f68e716ba29bf333cb0c83d401b7a06afe2197.zip |
added option --dtdvalidfpi for Tobias Reif Daniel
* xmllint.c doc/xmllint.xml doc/xmllint.1: added option
--dtdvalidfpi for Tobias Reif
Daniel
Diffstat (limited to 'doc/xmllint.xml')
-rw-r--r-- | doc/xmllint.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/xmllint.xml b/doc/xmllint.xml index 9bb9f87e..c37cdc4f 100644 --- a/doc/xmllint.xml +++ b/doc/xmllint.xml @@ -56,6 +56,7 @@ <arg>--valid</arg> <arg>--postvalid</arg> <arg>--dtdvalid <replaceable>URL</replaceable></arg> + <arg>--dtdvalidfpi <replaceable>FPI</replaceable></arg> <arg>--timing</arg> <arg>--repeat</arg> <arg>--insert</arg> @@ -238,6 +239,18 @@ </listitem> </varlistentry> + <varlistentry> + <term> <option>--dtdvalidfpi</option> <replaceable>FPI</replaceable></term> + <listitem> + <simpara> + Use the + <acronym>DTD</acronym> specified by the Public Identifier + <replaceable>FPI</replaceable> for validation, note that this + will require a Catalog exporting that Public Identifier to work. + </simpara> + </listitem> + </varlistentry> + <varlistentry> <term><option>--timing</option></term> <listitem> |