#!/bin/sh

rm -rf vignettes/tintHtmlIntro_cache \
   vignettes/tintPdfIntro_cache \
   vignettes/tintHtmlIntro_files \
   vignettes/tintPdfIntro_files \
   vignettes/tintPdfIntro.log

