From 977a1778a3617dd0329bd414017253572c7e6527 Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Fri, 12 Oct 2018 11:06:09 +0200
Subject: [PATCH] correcting Makefile.in in favour of Makefile
---
Makefile.in | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile.in b/Makefile.in
index de70c5bf4..7eb9d508e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -25,6 +25,7 @@ clean:
mvn -T ${numCores} clean
install:
- cd Doc;$(MAKE) 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