projects / platform / upstream / binutils.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 797bc12)
This dir is now configure'd (Makefile => Makefile.in, etc).
authorJohn Gilmore <gnu@cygnus>
Tue, 2 Feb 1993 00:44:15 +0000 (00:44 +0000)
committerJohn Gilmore <gnu@cygnus>
Tue, 2 Feb 1993 00:44:15 +0000 (00:44 +0000)
readline/doc/.Sanitize patch | blob | history

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