From 7f57333f28ede95b1233f7ee49316d29b0282556 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Wed, 18 Jan 2023 15:39:47 +0100
Subject: [PATCH] Current Makefile update
---
Makefile.in | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile.in b/Makefile.in
index b495e0226..2a1bb9393 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -3,7 +3,7 @@ DESTDIR=/var/www/html/freedocs
numCores=$(shell nproc --all)
-EXECUTABLES = /usr/share/xmlmind/bin/xxetool javac mvn rsync pdflatex convert figspecial2pdf figspecial2png figspecial2svg fig2dev fig2mpdf fig2msvg fig2pdf pdf2svg pdftoppm \
+EXECUTABLES = javac mvn rsync convert \
java ffmpeg
K := $(foreach exec,$(EXECUTABLES),\
@@ -33,6 +33,6 @@ install: check-install
rsync -av --exclude \*.jar --exclude \*.war --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
freedocs@prog.mi.hdm-stuttgart.de:${DESTDIR}
rsync -av --exclude \*.jar --exclude \*.war --exclude \*VAADIN\* --exclude \*.class --exclude=__figurelink\* --delete P Doc/target/webhelp/ \
- ubuntu@c11694ce-eef6-4e38-803e-7a3b874d779e.ma.bw-cloud-instance.org:/extra/var/www/html
+ ubuntu@freedocs.hdm-stuttgart.cloud:/data/var/www/html
#end
--
GitLab