ignore generated html
diff --git a/man/man1/.cvsignore b/man/man1/.cvsignore
new file mode 100644
index 0000000..2d19fc7
--- /dev/null
+++ b/man/man1/.cvsignore
@@ -0,0 +1 @@
+*.html
diff --git a/man/man1/cvs.1 b/man/man1/cvs.1
index bb65048..e2f3968 100644
--- a/man/man1/cvs.1
+++ b/man/man1/cvs.1
@@ -217,3 +217,12 @@
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 0000000..2d19fc7
--- /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 0000000..2d19fc7
--- /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 0000000..2d19fc7
--- /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 0000000..2d19fc7
--- /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 0000000..2d19fc7
--- /dev/null
+++ b/man/man9/.cvsignore
@@ -0,0 +1 @@
+*.html
