git: Add entries for the HTML manual to doc/internals/.gitignore.

These are the files and directories generated by "make html" in
doc/internals.

diff --git a/doc/internals/.gitignore b/doc/internals/.gitignore
index 86e6a62..79cea0f 100644 (file)
--- a/doc/internals/.gitignore
+++ b/doc/internals/.gitignore
@@ -15,7 +15,10 @@
 sbcl-internals.info
 sbcl-internals.pdf
 sbcl-internals.ps
+sbcl-internals/
+html-stamp
 discriminating-functions.pdf
 discriminating-functions.txt
+discriminating-functions.png
 top-include.include
 top-menu.include