added option --dtdvalidfpi for Tobias Reif Daniel

* xmllint.c doc/xmllint.xml doc/xmllint.1: added option
  --dtdvalidfpi for Tobias Reif
Daniel
diff --git a/doc/xmllint.xml b/doc/xmllint.xml
index 9bb9f87..c37cdc4 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>