diff options
| -rw-r--r-- | man/man1/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man1/cvs.1 | 9 | ||||
| -rw-r--r-- | man/man3/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man4/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man5/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man7/.cvsignore | 1 | ||||
| -rw-r--r-- | man/man9/.cvsignore | 1 |
7 files changed, 15 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. diff --git a/man/man3/.cvsignore b/man/man3/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man3/.cvsignore @@ -0,0 +1 @@ +*.html diff --git a/man/man4/.cvsignore b/man/man4/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man4/.cvsignore @@ -0,0 +1 @@ +*.html diff --git a/man/man5/.cvsignore b/man/man5/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man5/.cvsignore @@ -0,0 +1 @@ +*.html diff --git a/man/man7/.cvsignore b/man/man7/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man7/.cvsignore @@ -0,0 +1 @@ +*.html diff --git a/man/man9/.cvsignore b/man/man9/.cvsignore new file mode 100644 index 00000000..2d19fc76 --- /dev/null +++ b/man/man9/.cvsignore @@ -0,0 +1 @@ +*.html |