diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-25 11:49:29 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-25 11:49:29 +0200 |
| commit | bf700d1c3c008b695140f22916524f530bbd4487 (patch) | |
| tree | 777a62711ec9650b5387c833842821c369c097de /GNUmakefile | |
| parent | c917aeb7665f760ea8c9ade7f5a3208723f8b7f5 (diff) | |
Rename quick install target to quickinstall
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index e31a1104..215c2c79 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -54,7 +54,7 @@ build-no-vignettes: $(TGZVNR) install: build "$(RBIN)/R" CMD INSTALL $(TGZ) -install-no-vignettes: build-no-vignettes +quickinstall: build-no-vignettes "$(RBIN)/R" CMD INSTALL $(TGZVNR) check: build |