diff options
| -rw-r--r-- | readline/doc/.Sanitize | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/readline/doc/.Sanitize b/readline/doc/.Sanitize index 29b2fa5..29f313d 100644 --- a/readline/doc/.Sanitize +++ b/readline/doc/.Sanitize @@ -25,7 +25,8 @@ Do-first: Things-to-keep: -Makefile +Makefile.in +configure.in hist.texinfo hstech.texinfo hsuser.texinfo @@ -33,8 +34,6 @@ inc-hist.texi rlman.texinfo rltech.texinfo rluser.texinfo -texindex.c -texinfo.tex Do-last: |