html is part of CVS tree. Thus, ignore index.html and man* files in html directory instead.

This commit is contained in:
interp 2004-05-12 19:57:17 +00:00
parent 59e79fa839
commit 84e22f065e
2 changed files with 1 additions and 1 deletions

1
doc/.gitignore vendored
View File

@ -1,2 +1 @@
pdf
html

1
doc/html/.gitignore vendored Normal file
View File

@ -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