revert last patch, daniel
diff --git a/doc/xmllint.xml b/doc/xmllint.xml
index cf063d6..904e706 100644
--- a/doc/xmllint.xml
+++ b/doc/xmllint.xml
@@ -63,7 +63,7 @@
</refnamediv>
<refsynopsisdiv>
- <cmdsynopsis sepchar="|">
+ <cmdsynopsis>
<command>xmllint</command>
<group choice="opt">
<arg choice="plain"><option>--version</option></arg>
@@ -121,7 +121,7 @@
<arg choice="plain" rep="norepeat">-</arg>
</group>
</cmdsynopsis>
- <cmdsynopsis sepchar="|">
+ <cmdsynopsis>
<command>xmllint</command>
<arg choice="plain"><option>--help</option></arg>
</cmdsynopsis>