diff options
Diffstat (limited to 'man/man1')
| -rw-r--r-- | man/man1/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man1/cvs.1 | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/man/man1/.cvsignore b/man/man1/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man1/.cvsignore @@ -0,0 +1 @@ +*.html diff --git a/man/man1/cvs.1 b/man/man1/cvs.1 index bb650481..e2f39680 100644 --- a/man/man1/cvs.1 +++ b/man/man1/cvs.1 @@ -217,3 +217,12 @@ Unix's The CVS server is a read-only public copy of a private tree. The dates on versions reflect the date the changes were made in the private tree, not the date the change was made public. +.PP +On Mac OS X, +.I cvs +will complain during a checkout that some files in +.B $PLAN9/troff/font/devutf +are ``in the way.'' +This is due to the Mac case-insensitive file system +and the fact that troff has some (not often used) +files that differ only in case. |