From 522a5d2bd7247ab9a5815bb62b67f0feb6bb1a7f Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Sun, 30 Mar 2025 20:50:02 +0200
Subject: [PATCH] Cleaning up outdated reveal.js check

---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index ff54cc1f..39ed0153 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,6 @@
 SHELL = /bin/bash
 DESTDIR=/var/www/freedocs/html
 
-
 numCores=$(shell nproc --all)
 
 EXECUTABLES = javac mvn rsync pdflatex convert figspecial2pdf figspecial2png fig2dev pdf2svg pdftoppm \
@@ -10,9 +9,6 @@ java ffmpeg # figspecial2svg fig2mpdf fig2msvg fig2pdf
 K := $(foreach exec,$(EXECUTABLES),\
         $(if $(shell which $(exec)),some string,$(error "No $(exec) in PATH)))
 
-REVEALHOME=/usr/share/reveal.js
-K := $(if $(shell ls ${REVEALHOME}),some string,$(error "No ${REVEALHOME} found, please execute git clone https://github.com/hakimel/reveal.js)))
-
 doc:
 	cd Doc;$(MAKE) -j ${numCores} all
 
-- 
GitLab