diff --git a/Makefile.in b/Makefile.in index de70c5bf47575785e706373122b467538c96a172..7eb9d508e9bfa3e55eb675cb396e20b7381b57c4 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