diff options
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> |