From a2b4c9fc99d5eb60a539d9641b31aa5ed823b16b Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 15 Oct 2018 11:21:26 +0200
Subject: [PATCH] Exclude .war files on web update
---
Makefile.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile.in b/Makefile.in
index 49ddf80ea..7dce9da8e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -30,6 +30,6 @@ ifndef DESTDIR
endif
install: check-install
- rsync -av --exclude \*.jar --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
+ rsync -av --exclude \*.jar --exclude \*.war --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
freedocs@prog.mi.hdm-stuttgart.de:${DESTDIR}
#end
--
GitLab