doc/xmllint.xml doc/xmllint.1 update man page with --stream and
Mon Jan 6 20:53:08 MST 2003 John Fleck <jfleck@inkstain.net>
* doc/xmllint.xml
* doc/xmllint.1
update man page with --stream and --chkregister
diff --git a/doc/xmllint.xml b/doc/xmllint.xml
index e7c2b77..9bfbf64 100644
--- a/doc/xmllint.xml
+++ b/doc/xmllint.xml
@@ -74,6 +74,8 @@
<arg>--loaddtd</arg>
<arg>--dtdattr</arg>
<arg>--dropdtd</arg>
+ <arg>--stream</arg>
+ <arg>--chkregister</arg>
</group>
<arg><option><replaceable>xmlfile</replaceable></option></arg>
</cmdsynopsis>
@@ -412,6 +414,20 @@
</simpara>
</listitem>
</varlistentry>
+ <varlistentry>
+ <term><option>--stream</option></term>
+ <listitem>
+ <simpara>Use streaming API - useful for validation of files that are
+ too large to be held in memory.</simpara>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>--chkregister</option></term>
+ <listitem>
+ <simpara>Turn on node registration. Useful for developeres testing
+ libxml2 node tracking code.</simpara>
+ </listitem>
+ </varlistentry>
</variablelist>
</refsect1>