aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-05-08 21:04:21 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-05-08 21:04:21 +0200
commit89df28000c4ce8c1e46965ad72b79b406e4d512f (patch)
treed4045738d299d99389352ace5c64b739ef2b85ae /.gitignore
parent6b0efae2868f68d1b6ea90b45a2aa4adb287bddc (diff)
Support building static documentation, build it
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1cec81aa..e8678b11 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+inst/web*
vignettes/*.aux
vignettes/*.bbl
vignettes/*.blg

Contact - Imprint