diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-15T13·55+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-15T13·55+0000 |
| commit | e30133469665d02588118594d4db8b6148249cd7 (patch) | |
| tree | 96af128b43a791645c13e7d72b18c9184a0d072d /doc/manual/opt-common.xml | |
| parent | b376565b86717c4da2bdea5ee0bc73978ff9bc78 (diff) | |
* XInclude all the way.
Diffstat (limited to 'doc/manual/opt-common.xml')
| -rw-r--r-- | doc/manual/opt-common.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/opt-common.xml b/doc/manual/opt-common.xml index 7650d62e51ae..b0e581ff9075 100644 --- a/doc/manual/opt-common.xml +++ b/doc/manual/opt-common.xml @@ -1,3 +1,5 @@ +<nop> + <varlistentry> <term><option>--help</option></term> <listitem> @@ -182,3 +184,5 @@ </para> </listitem> </varlistentry> + +</nop> \ No newline at end of file |