From 545efbaad2ff0e3b40485a55525701f098ef1b19 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Wed, 31 Jan 2024 13:04:43 +0100
Subject: [PATCH] Commenting out rarely used binaries

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 81b1fc125..d525c6929 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)))
-- 
GitLab