K 10 svn:author V 3 des K 8 svn:date V 27 1998-09-17T00:23:14.000000Z K 7 svn:log V 107 Don't document inexistant options. PR: 7417 Pointed-out-by: Martin Kammerhofer END