diff options
-rw-r--r-- | .gitignore | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c93d172 --- /dev/null +++ b/.gitignore @@ -0,0 +1,29 @@ + +# auto-generated +toc.t2t +tentative_list_of_topics.t2t +*.html +*.pdf +*.eps +syllabus*.tex +lecture*_handouts.tex +lecture*_presentation.tex +lecture_names.rem + +# temporary editor files +*.swp + +# tex temporal files +*.aux +*.log +*.nav +*.out +*.snm +*.toc + +# html styles and related +.sass-cache +*.css + +# destination dirs +web_site_version |