*doc/xmllint.xml, xmllint.1 - document --dropdtd
Thu Dec 13 21:24:16 MST 2001 John Fleck <jfleck@inkstain.net>
*doc/xmllint.xml, xmllint.1 - document --dropdtd
diff --git a/doc/xmllint.xml b/doc/xmllint.xml
index 571e97d..d107e32 100644
--- a/doc/xmllint.xml
+++ b/doc/xmllint.xml
@@ -73,6 +73,7 @@
<arg>--xinclude</arg>
<arg>--loaddtd</arg>
<arg>--dtdattr</arg>
+ <arg>--dropdtd</arg>
</group>
<arg><option><replaceable>xmlfile</replaceable></option></arg>
</cmdsynopsis>
@@ -403,7 +404,14 @@
</simpara>
</listitem>
</varlistentry>
-
+ <varlistentry>
+ <term><option>--dropdtd</option></term>
+ <listitem>
+ <simpara>
+ Remove <acronym>DTD</acronym> from output.
+ </simpara>
+ </listitem>
+ </varlistentry>
</variablelist>
</refsect1>
@@ -546,7 +554,7 @@
</simpara>
</listitem>
</varlistentry>
-
+
</variablelist>
</refsect1>
</refentry>