diff options
-rw-r--r-- | doc/developer-guidelines.sgml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/developer-guidelines.sgml b/doc/developer-guidelines.sgml index abfc508..6f31f36 100644 --- a/doc/developer-guidelines.sgml +++ b/doc/developer-guidelines.sgml | |||
@@ -200,9 +200,8 @@ | |||
200 | operation. Higher-level errors (such as name resolution errors, | 200 | operation. Higher-level errors (such as name resolution errors, |
201 | socket timeouts, etc) are outside of the control of plugins and should | 201 | socket timeouts, etc) are outside of the control of plugins and should |
202 | generally NOT be reported as UNKNOWN states. | 202 | generally NOT be reported as UNKNOWN states. |
203 | </para> | 203 | </para><para>The --help or --version output should also result in Unknown state. |
204 | <para>The --help or --version output should also result in Unknown state.</para> | 204 | </para></entry> |
205 | </entry> | ||
206 | </row> | 205 | </row> |
207 | </tbody> | 206 | </tbody> |
208 | </tgroup> | 207 | </tgroup> |