diff options
author | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 19:55:35 +0000 |
---|---|---|
committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 19:55:35 +0000 |
commit | a1330c48fa0939bf88935ab2e9d93095f2585f3b (patch) | |
tree | e0cb914bae50434de067dc6c5872b810b0ce3ee2 | |
parent | b397d5b8e158cee0f549e496a6ce0acc707a6f8e (diff) | |
download | gdb-a1330c48fa0939bf88935ab2e9d93095f2585f3b.zip gdb-a1330c48fa0939bf88935ab2e9d93095f2585f3b.tar.gz gdb-a1330c48fa0939bf88935ab2e9d93095f2585f3b.tar.bz2 |
* {all,h8}-config.texi: Rename to *-cfg.texi for 14 char filenames.
-rw-r--r-- | gdb/doc/.Sanitize | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index 52d4268..f72790a 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -30,12 +30,12 @@ Things-to-keep: ChangeLog Makefile.in -all-config.texi +all-cfg.texi configure.in gdb.texinfo gdbint.texinfo gdbinv-s.texi -h8-config.texi +h8-cfg.texi lpsrc.sed psrc.sed refcard.tex |