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 abfc5089..6f31f365 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> |