diff options
| author | Mike Hommey <glandium@debian.org> | 2005-07-12 19:58:48 +0000 |
|---|---|---|
| committer | Mike Hommey <glandium@debian.org> | 2005-07-12 19:58:48 +0000 |
| commit | 112cb5bb5475afec1c1cbf1d6728ce4880d0fee8 (patch) | |
| tree | 6c34596134f8665ebc180f29b50915dc70bbe5c1 /doc/xmllint.html | |
| parent | 0fc063df3ab2ad380d532d210dd1001de473e51b (diff) | |
| download | libxml2-upstream/2.6.20.tar.gz | |
Load /tmp/tmp.zfIyNk/libxml2-2.6.20 intoupstream/2.6.20
packages/libxml2/branches/upstream/current.
Diffstat (limited to 'doc/xmllint.html')
| -rw-r--r-- | doc/xmllint.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/xmllint.html b/doc/xmllint.html index 2bc4174..0a55877 100644 --- a/doc/xmllint.html +++ b/doc/xmllint.html @@ -71,7 +71,7 @@ Turn on gzip compression of output. </dd><dt><span class="term"><tt class="option">--html</tt></span></dt><dd> Use the <span class="acronym">HTML</span> parser. - </dd><dt><span class="term"><tt class="option">--xmlout</tt></span></dt><dd>Used in conjusntion with <tt class="option">--html</tt>. Usually + </dd><dt><span class="term"><tt class="option">--xmlout</tt></span></dt><dd>Used in conjunction with <tt class="option">--html</tt>. Usually when HTML is parsed the document is saved with the HTML serializer, but with this option the resulting document is saved with the XML serializer. This is primarily used to generate XHTML from HTML input.</dd><dt><span class="term"><tt class="option">--push</tt></span></dt><dd> |