[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 07/12] Document the argument to .exit
|
From: |
John Darrington |
|
Subject: |
[PATCH 07/12] Document the argument to .exit |
|
Date: |
Mon, 2 Dec 2019 17:51:08 +0100 |
---
doc/poke.texi | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/doc/poke.texi b/doc/poke.texi
index 3bf4ddd..28e464e 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -643,7 +643,15 @@ whatever architecture running poke.
@cindex @code{.exit}
@cindex quitting
@cindex @code{exit}
-The @code{.exit} command exits poke.
+The @code{.exit} command exits poke. The syntax is:
+
+@example
+.exit [@var{status}]
+@end example
+
+@noindent
+Poke will terminate, returning the exit status @var{status}.
+If @var{status} is omitted, then the exit status zero will be returned.
@node dump
@chapter @command{dump}
--
2.11.0
- Numerous small documentation changes., John Darrington, 2019/12/02
- [PATCH 04/12] Fix typo, John Darrington, 2019/12/02
- [PATCH 02/12] Add links to Mapping node, John Darrington, 2019/12/02
- [PATCH 05/12] Add some indeces and correct typo, John Darrington, 2019/12/02
- [PATCH 06/12] Downcase rouge capital, John Darrington, 2019/12/02
- [PATCH 03/12] Markup code types, John Darrington, 2019/12/02
- [PATCH 07/12] Document the argument to .exit,
John Darrington <=
- [PATCH 08/12] Doc fix typo, John Darrington, 2019/12/02
- [PATCH 09/12] DOC: Remove redundant comment, John Darrington, 2019/12/02
- [PATCH 01/12] "allows to" --> "allows you to", John Darrington, 2019/12/02
- [PATCH 10/12] DOC: Add markup, John Darrington, 2019/12/02
- [PATCH 11/12] DOC: fix typo, John Darrington, 2019/12/02
- [PATCH 12/12] Doc: change 'than' to 'as' where appropriate, John Darrington, 2019/12/02
- Re: Numerous small documentation changes., Jose E. Marchesi, 2019/12/02