Manpage, tweak intro of exit status section (closes #168).

dbuenzli · Apr 9, 2023 · e68ba3a · e68ba3a
1 parent 436d629
commit e68ba3a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/cmdliner_manpage.ml b/src/cmdliner_manpage.ml
@@ -26,8 +26,7 @@ let s_arguments = "ARGUMENTS"
 let s_options = "OPTIONS"
 let s_common_options = "COMMON OPTIONS"
 let s_exit_status = "EXIT STATUS"
-let s_exit_status_intro =
-  `P "$(tname) exits with the following status:"
+let s_exit_status_intro = `P "$(tname) exits with:"
 
 let s_environment = "ENVIRONMENT"
 let s_environment_intro =