git: New file doc/internals/.gitignore.

Ignore the files generated by building the internals manual.
Copied and adapted from doc/manual/.gitignore.

diff --git a/doc/internals/.gitignore b/doc/internals/.gitignore
new file mode 100644 (file)
index 0000000..86e6a62
--- /dev/null
+++ b/doc/internals/.gitignore
@@ -0,0 +1,21 @@
+*.aux
+*.cp
+*.cps
+*.fn
+*.fns
+*.ky
+*.log
+*.pg
+*.texi-temp
+*.toc
+*.tp
+*.tps
+*.vr
+*.vrs
+sbcl-internals.info
+sbcl-internals.pdf
+sbcl-internals.ps
+discriminating-functions.pdf
+discriminating-functions.txt
+top-include.include
+top-menu.include