From c94d34506c26f12f3a1a188f61f7723451693405 Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Fri, 12 Oct 2018 11:07:53 +0200
Subject: [PATCH] Third try!
---
Makefile.in | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/Makefile.in b/Makefile.in
index 7eb9d508e..49ddf80ea 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -24,8 +24,12 @@ clean:
cd Doc;$(MAKE) -j ${numCores} clean
mvn -T ${numCores} clean
-install:
+check-install:
+ifndef DESTDIR
+ $(error DESTDIR is undefined)
+endif
+
+install: check-install
rsync -av --exclude \*.jar --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
freedocs@prog.mi.hdm-stuttgart.de:${DESTDIR}
-
#end
--
GitLab