ignore generated html

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