Cleaning up outdated reveal.js check

Makefile

 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