changeset 26903:02eb743f6ab3

Set file name to ../info/ccmode, to avoid problems on 8+3 filesystems.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 15 Dec 1999 13:59:24 +0000
parents 264b83a3a688
children 80342b53d1a0
files man/cc-mode.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/cc-mode.texi	Wed Dec 15 13:14:38 1999 +0000
+++ b/man/cc-mode.texi	Wed Dec 15 13:59:24 1999 +0000
@@ -7,7 +7,7 @@
 @comment No overfull hbox marks in the dvi file.
 @finalout
 
-@setfilename  ../info/cc-mode.info
+@setfilename  ../info/ccmode
 @settitle     CC Mode Version 5 Documentation
 @footnotestyle end