vignettes/CHANGES.pdf$
vignettes/README.pdf$
vignettes/UserGuide.pdf$
