Set file name to ../info/ccmode, to avoid problems

on 8+3 filesystems.

diff --git a/man/ChangeLog b/man/ChangeLog
index 6a68200af1aa7829bb1408ab0467017d4102b504..a3865e9e0c8182a7a8420bc230a26fdd3d686af0 100644 (file)
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -1,3 +1,8 @@
+1999-12-15  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * cc-mode.texi: Set file name to ../info/ccmode, to avoid problems
+       on 8+3 filesystems.
+
 1999-12-12  Gerd Moellmann  <gerd@gnu.org>
 
        * cc-mode.texi: Set file name to ../info/cc-mode.texi.

diff --git a/man/cc-mode.texi b/man/cc-mode.texi
index 54775c2799b3e7194600e417f9efea61fccc00a3..6d79358a3ec29cfabef4674fc189cc8c815cfa92 100644 (file)
--- 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