readline/doc/history.info
readline/doc/rluserman.info
readline/doc/readline.info
