diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
| commit | 2647aaf1b879365c11700eed099e661febd08387 (patch) | |
| tree | 6acad8a8e654d805a95b6fc4955daa65e678f155 /vignettes/mkin.html | |
| parent | ccc4759131cf6bcb3669e1b6042687fc5902e72b (diff) | |
Do not watch vignettes for builds without rebuilding them
This avoids the situation that a new function is needed in a vignette
but the first thing that the build tries to do is building it.
Diffstat (limited to 'vignettes/mkin.html')
0 files changed, 0 insertions, 0 deletions