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

[sbcl.git] / doc / .cvsignore

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