diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-22 22:09:07 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-22 22:09:07 +0200 |
| commit | 72846ba8a3d75eed97901670eafee36b84f359df (patch) | |
| tree | 4e7206e11918ecf786db8cfebf71090a677a467c /.Rbuildignore | |
| parent | 4ecfa9802a4f0ddfcb2d23bcad2766ce6d2a5fe8 (diff) | |
Another reorganisation of vignette building by GNUmakefile
Diffstat (limited to '.Rbuildignore')
| -rw-r--r-- | .Rbuildignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.Rbuildignore b/.Rbuildignore index 7633df3f..b4f752d5 100644 --- a/.Rbuildignore +++ b/.Rbuildignore @@ -12,6 +12,8 @@ gmkin_screenshot.png ^vignettes/*.fls$ ^vignettes/*.fdb_latexmk$ ^vignettes/mkin.tex$ +^vignettes/*.concordance.tex$ +vignettes/*.synctex.gz ^vignettes/FOCUS_Z.tex$ ^vignettes/*_cache$ ^vignettes/*_files$ |