From c70878c4adde680fc569ff9ab75e49581c907fa5 Mon Sep 17 00:00:00 2001
From: Franklin Wei <franklin@rockbox.org>
Date: Sun, 28 Jun 2020 22:41:29 -0400
Subject: [PATCH] Fix typo in developer docs for request_keys().

"point"->"pointer".
---
 devel.but | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/devel.but b/devel.but
index 209c501..c201a3e 100644
--- a/devel.but
+++ b/devel.but
@@ -1797,10 +1797,10 @@ structures conveniently.
 The backend should set \cw{*nkeys} to the number of elements in the
 returned array.
 
-The field for this function point in the \cw{game} structure might be
-set to \cw{NULL} (and indeed it is for the majority of the games) to
-indicate that no additional buttons (apart from the cursor keys) are
-required to play the game.
+The field for this function pointer in the \cw{game} structure might
+be set to \cw{NULL} (and indeed it is for the majority of the games)
+to indicate that no additional buttons (apart from the cursor keys)
+are required to play the game.
 
 This function should not be called directly by frontends. Instead,
 frontends should use \cw{midend_request_keys()}