aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-06-25 11:49:29 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-06-25 11:49:29 +0200
commitbf700d1c3c008b695140f22916524f530bbd4487 (patch)
tree777a62711ec9650b5387c833842821c369c097de
parentc917aeb7665f760ea8c9ade7f5a3208723f8b7f5 (diff)
Rename quick install target to quickinstall
-rw-r--r--GNUmakefile2
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

Contact - Imprint