diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 80b88eb4..b6bec285 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -61,8 +61,12 @@ quickcheck: build-no-vignettes clean: $(RM) -r $(PKGNAME).Rcheck/ + $(RM) -r vignettes/*.bbl + $(RM) -r vignettes/*.blg $(RM) -r vignettes/*.fls $(RM) -r vignettes/*.fdb_latexmk + $(RM) -r vignettes/cache + $(RM) -r vignettes/files $(RM) -r vignettes/*_cache $(RM) -r vignettes/*_files $(RM) -r vignettes/*-concordance.tex |