* {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)
gdb/doc/.Sanitize

index 52d4268e6f7111a5f7b51f903a5e911d0e68743b..f72790af449b79511cffc1805099f3c942787cfc 100644 (file)
@@ -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