aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-06-22 20:51:24 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-06-22 20:51:24 +0200
commit4ecfa9802a4f0ddfcb2d23bcad2766ce6d2a5fe8 (patch)
treecd9f23af65f69445c32e065a0207c6ece8d8299f /GNUmakefile
parent97725f51ad869b7338208c19c33c8fbf5db29d18 (diff)
Watch the vignettes built locally as well for building
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile
index 7763098a..96bbac21 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -28,7 +28,9 @@ pkgfiles = NEWS \
vignettes/header.tex \
vignettes/mkin_vignettes.css* \
vignettes/*.Rnw \
+ vignettes/*.html \
vignettes/*.Rmd \
+ vignettes/*.pdf \
TODO
all: build

Contact - Imprint