From d6cecd30af684c156769431a6b237d6f71a4219f Mon Sep 17 00:00:00 2001
From: Martin Panter <vadmium+py@gmail.com>
Date: Fri, 10 Jun 2016 00:27:46 +0000
Subject: [PATCH] Issue #8491: Add link to Gnu Readline configuration
 documentation

---
 Doc/library/readline.rst | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Doc/library/readline.rst b/Doc/library/readline.rst
index d7e7dc6c2c9..a0ed89eba10 100644
--- a/Doc/library/readline.rst
+++ b/Doc/library/readline.rst
@@ -27,6 +27,13 @@ interactive prompt  and the prompts offered by the :func:`raw_input` and
   you can check for the text "libedit" in :const:`readline.__doc__`
   to differentiate between GNU readline and libedit.
 
+Readline keybindings may be configured via an initialization file, typically
+``.inputrc`` in your home directory.  See `Readline Init File
+<https://cnswww.cns.cwru.edu/php/chet/readline/rluserman.html#SEC9>`_
+in the GNU Readline manual for information about the format and
+allowable constructs of that file, and the capabilities of the
+Readline library in general.
+
 
 Init file
 ---------