Remove doc. It's been moved to a subdir.

diff --git a/readline/.Sanitize b/readline/.Sanitize
index 6d28cedf814e62d1a878ee2ecf4edd0f0aee5c0d..e04dc0d648966fd686a7e709ad7830e316312bf8 100644 (file)
--- a/readline/.Sanitize
+++ b/readline/.Sanitize
@@ -37,14 +37,10 @@ examples
 funmap.c
 history.c
 history.h
-history.texi
-inc-history.texi
-inc-readline.texi
 keymaps.c
 keymaps.h
 readline.c
 readline.h
-readline.texi
 sysdep-norm.h
 sysdep-aix.h
 vi_keymap.c