diff options
author | Gerd Moellmann <[email protected]> | 1999-12-15 13:59:45 +0000 |
---|---|---|
committer | Gerd Moellmann <[email protected]> | 1999-12-15 13:59:45 +0000 |
commit | c9f319fe7649d9ab4397008af23a979a1220909b (patch) | |
tree | 814f67041d862550725dd5032e81d12093c93655 /man/cc-mode.texi | |
parent | f9d2fdc464f130fbde700cecc00c031ef7e8e4f2 (diff) |
Set file name to ../info/ccmode, to avoid problems
on 8+3 filesystems.
Diffstat (limited to 'man/cc-mode.texi')
-rw-r--r-- | man/cc-mode.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/cc-mode.texi b/man/cc-mode.texi index 54775c2799..6d79358a3e 100644 --- a/man/cc-mode.texi +++ b/man/cc-mode.texi @@ -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 |