From 75b22af660ab9646d0bb473a815cc074a876dfe3 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Sun, 6 Aug 2017 09:04:27 +0200
Subject: [PATCH] Delegating install to Doc/Makefile
---
Doc/excludeFromRsync.txt | 7 -------
Makefile | 6 +-----
2 files changed, 1 insertion(+), 12 deletions(-)
delete mode 100644 Doc/excludeFromRsync.txt
diff --git a/Doc/excludeFromRsync.txt b/Doc/excludeFromRsync.txt
deleted file mode 100644
index f1873db33..000000000
--- a/Doc/excludeFromRsync.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-VAADIN
-*.war
-.generated
-*.jar
-*.class
-WEB-INF
-gwt-unitCache
diff --git a/Makefile b/Makefile
index 371335b3d..fe887dbc7 100644
--- a/Makefile
+++ b/Makefile
@@ -28,10 +28,6 @@ clean:
mvn -T ${numCores} clean
install:
- if [ -w ${DESTDIR} ] ; then \
- cd Doc/target/webhelp && rsync -av --delete --exclude-from=../../excludeFromRsync.txt * ${DESTDIR};\
- else \
- cd Doc/target/webhelp && rsync -av --delete --exclude-from=../../excludeFromRsync.txt * freedocs@prog.mi.hdm-stuttgart.de:${DESTDIR};\
- fi
+ cd Doc;$(MAKE) install
#end
--
GitLab