diff options
| author | John Gilmore <gnu@cygnus> | 1993-02-02 00:44:15 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1993-02-02 00:44:15 +0000 |
| commit | 1fa643be8e6e420bbe85c4afe843cb38c2fc0151 (patch) | |
| tree | 280d5cd94d6f0bbcaca8fa4b677c7022c4d6c9fe | |
| parent | 797bc12b32fecd5563c5b57fe515342d827fc809 (diff) | |
| download | gdb-1fa643be8e6e420bbe85c4afe843cb38c2fc0151.zip gdb-1fa643be8e6e420bbe85c4afe843cb38c2fc0151.tar.gz gdb-1fa643be8e6e420bbe85c4afe843cb38c2fc0151.tar.bz2 | |
This dir is now configure'd (Makefile => Makefile.in, etc).
| -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: |