projects / platform / upstream / binutils.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 320cd42)
Add inc-hist.texi
authorJohn Gilmore <gnu@cygnus>
Fri, 22 Nov 1991 01:16:44 +0000 (01:16 +0000)
committerJohn Gilmore <gnu@cygnus>
Fri, 22 Nov 1991 01:16:44 +0000 (01:16 +0000)
readline/doc/.Sanitize patch | blob | history

diff --git a/readline/doc/.Sanitize b/readline/doc/.Sanitize
index d73bf6c9ef5d7a28aac93f2e31ed7a783bfafe9c..29b2fa5496f68e576dc8f64702a3b633460adb1d 100644 (file)
--- 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
Domain: System / Toolchain;