diff options
Diffstat (limited to 'doc/lispintro/.gitignore')
| -rw-r--r-- | doc/lispintro/.gitignore | 24 |
1 files changed, 3 insertions, 21 deletions
diff --git a/doc/lispintro/.gitignore b/doc/lispintro/.gitignore index e1af5a918b0..cf992dc8649 100644 --- a/doc/lispintro/.gitignore +++ b/doc/lispintro/.gitignore @@ -1,21 +1,3 @@ -*.aux -*.fn -*.fns -*.cps -*.cp -*.kys -*.ky -*.toc -*.pgs -*.pg -*.log -*.vrs -*.vr -*.dvi -*.ps -*.tp -*.tps -*.tmp -*.txt -Makefile -makefile +!cons-*.pdf +!drawers.pdf +!lambda-*.pdf |