aboutsummaryrefslogtreecommitdiff
path: root/readline/doc
diff options
context:
space:
mode:
authorJohn Gilmore <gnu@cygnus>1991-11-22 01:16:44 +0000
committerJohn Gilmore <gnu@cygnus>1991-11-22 01:16:44 +0000
commit82f0459e2c7d63dd7f008af42516c53458da5adf (patch)
tree286e0e18cceb4e3c398ef3636955da92e8724b45 /readline/doc
parent320cd423172dc5b2596e0d2a7893406cfd8bd214 (diff)
downloadgdb-82f0459e2c7d63dd7f008af42516c53458da5adf.zip
gdb-82f0459e2c7d63dd7f008af42516c53458da5adf.tar.gz
gdb-82f0459e2c7d63dd7f008af42516c53458da5adf.tar.bz2
Add inc-hist.texi
Diffstat (limited to 'readline/doc')
-rw-r--r--readline/doc/.Sanitize1
1 files changed, 1 insertions, 0 deletions
diff --git a/readline/doc/.Sanitize b/readline/doc/.Sanitize
index d73bf6c..29b2fa5 100644
--- a/readline/doc/.Sanitize
+++ b/readline/doc/.Sanitize
@@ -29,6 +29,7 @@ Makefile
hist.texinfo
hstech.texinfo
hsuser.texinfo
+inc-hist.texi
rlman.texinfo
rltech.texinfo
rluser.texinfo