diff options
| -rw-r--r-- | readline/doc/.Sanitize | 1 |
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 |