diff --git a/doc/lispintro/.gitignore b/doc/lispintro/.gitignore new file mode 100644 index 00000000000..e1af5a918b0 --- /dev/null +++ b/doc/lispintro/.gitignore @@ -0,0 +1,21 @@ +*.aux +*.fn +*.fns +*.cps +*.cp +*.kys +*.ky +*.toc +*.pgs +*.pg +*.log +*.vrs +*.vr +*.dvi +*.ps +*.tp +*.tps +*.tmp +*.txt +Makefile +makefile