Fix equality between #p"~" and (user-homedir-pathname) on Win32.

[sbcl.git] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 43e9737..15c4355 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,2 +1,2 @@
-*.htm
-cmucl
+html
+html-stamp
\ No newline at end of file