diff --git a/Makefile b/Makefile index 81b1fc1251e256b7dbbd4cea668aa80d77c3a1bd..d525c69296b0f08ed4fa29ddf634a2b61810d188 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,8 @@ DESTDIR=/var/www/html/freedocs numCores=$(shell nproc --all) -EXECUTABLES = javac mvn rsync pdflatex convert figspecial2pdf figspecial2png figspecial2svg fig2dev fig2mpdf fig2msvg fig2pdf pdf2svg pdftoppm \ -java ffmpeg +EXECUTABLES = javac mvn rsync pdflatex convert figspecial2pdf figspecial2png fig2dev pdf2svg pdftoppm \ +java ffmpeg # figspecial2svg fig2mpdf fig2msvg fig2pdf K := $(foreach exec,$(EXECUTABLES),\ $(if $(shell which $(exec)),some string,$(error "No $(exec) in PATH)))