* {all,h8}-config.texi: Rename to *-cfg.texi for 14 char filenames.
authorJim Kingdon <jkingdon@engr.sgi.com>
Sun, 13 Jun 1993 19:55:35 +0000 (19:55 +0000)
committerJim Kingdon <jkingdon@engr.sgi.com>
Sun, 13 Jun 1993 19:55:35 +0000 (19:55 +0000)
commita1330c48fa0939bf88935ab2e9d93095f2585f3b
treee0cb914bae50434de067dc6c5872b810b0ce3ee2
parentb397d5b8e158cee0f549e496a6ce0acc707a6f8e
* {all,h8}-config.texi: Rename to *-cfg.texi for 14 char filenames.
gdb/doc/.Sanitize