Numerous small documentation changes.

poke-devel

From:	John Darrington
Subject:	Numerous small documentation changes.
Date:	Mon, 2 Dec 2019 17:51:01 +0100

If there are no objections to any of these, I'll squash them up and push as one 
commit.

[Prev in Thread]

Current Thread

[Next in Thread]

Numerous small documentation changes., John Darrington <=
- [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, 2019/12/02