X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=5605f8b4a43d9888a191fae3b78e331756baf33a;hb=refs%2Fheads%2Fctables10;hp=2e9fd1a4a994d9c3b90f55d71a435f4896f4e75a;hpb=8180c5dd1591446174c0753ee960921786113403;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index 2e9fd1a4a9..5605f8b4a4 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -15,6 +15,7 @@ pspp*.vr
 pspp*.vrs
 pspp-dev.info
 pspp-dev.info-*
+pspp.html
 pspp.info
 pspp.info-*
 pspp.xml