From a3d4610158f227d53cb5eac287dd2661e975fc70 Mon Sep 17 00:00:00 2001 From: Lutz Euler Date: Sun, 9 Jun 2013 17:58:52 +0200 Subject: [PATCH] git: New file doc/internals/.gitignore. Ignore the files generated by building the internals manual. Copied and adapted from doc/manual/.gitignore. --- doc/internals/.gitignore | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 doc/internals/.gitignore diff --git a/doc/internals/.gitignore b/doc/internals/.gitignore new file mode 100644 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 -- 1.7.10.4