diff options
| -rw-r--r-- | .gitignore | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9140d41d65..f96416b7dc 100644 --- a/.gitignore +++ b/.gitignore @@ -32,3 +32,19 @@ target/ # R files .RData .Rhistory + +# Files created by nuweb, latex, and tex4ht +*.4ct +*.4tc +*.aux +*.css +*.dvi +*.html +*.idv +*.lg +*.log +*.out +*.tex +*.tmp +*.xdv +*.xref |
