summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore19
1 files changed, 19 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..871d1de
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,19 @@
+
+# auto-generated
+toc.t2t
+tentative_list_of_topics.t2t
+*.html
+*.pdf
+*.eps
+syllabus*.tex
+lecture*_handouts.tex
+lecture*_presentation.tex
+lecture_names.rem
+
+# tex temporal files
+*.aux
+*.log
+*.nav
+*.out
+*.snm
+*.toc