From 84e22f065e41de8c2e8bcb0f15e3ca5d84b877b9 Mon Sep 17 00:00:00 2001
From: interp <interp>
Date: Wed, 12 May 2004 19:57:17 +0000
Subject: [PATCH] html is part of CVS tree.  Thus, ignore index.html and man*
 files in html directory instead.

---
 doc/.gitignore      | 1 -
 doc/html/.gitignore | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 doc/html/.gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index debc1c8..da0de7e 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,2 +1 @@
 pdf
-html
diff --git a/doc/html/.gitignore b/doc/html/.gitignore
new file mode 100644
index 0000000..a59d99d
--- /dev/null
+++ b/doc/html/.gitignore
@@ -0,0 +1 @@
+index.html man--h.idx man--h.ilg man--h.ind man.hlog man-Z-A.scm man-Z-H-10.html man-Z-H-11.html man-Z-H-12.html man-Z-H-13.html man-Z-H-14.html man-Z-H-15.html man-Z-H-16.html man-Z-H-17.html man-Z-H-1.html man-Z-H-2.html man-Z-H-3.html man-Z-H-4.html man-Z-H-5.html man-Z-H-6.html man-Z-H-7.html man-Z-H-8.html man-Z-H-9.html man-Z-L.scm man-Z-S.css