vignettes/JSSstyle/*
vignettes/*.log
vignettes/*.tex

