[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 10/12] DOC: Add markup
|
From: |
John Darrington |
|
Subject: |
[PATCH 10/12] DOC: Add markup |
|
Date: |
Mon, 2 Dec 2019 17:51:11 +0100 |
---
doc/poke.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/poke.texi b/doc/poke.texi
index 8000e26..07a2039 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -69,7 +69,7 @@ Dot-Commands
* file command:: Opening and selecting IO spaces.
* close command:: Closing IO spaces.
* editor command:: Using an external editor for input.
-* info command:: Getting information about open files, etc.
+* info command:: Getting information about open files, @i{etc}.
* set command:: Querying and setting global options.
* vm command:: Poke Virtual Machine services.
* exit command:: Exiting poke :(
--
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, 2019/12/02
- [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 <=
- [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