From a3b906681f2312190d9ff6f3d32a24dcdc19094a Mon Sep 17 00:00:00 2001
From: Thomas L <tom@dl6tom.de>
Date: Mon, 8 Jul 2019 20:22:56 +0200
Subject: [PATCH] fix brokenness

---
 render-pdf.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 render-pdf.sh

diff --git a/render-pdf.sh b/render-pdf.sh
deleted file mode 100755
index 457fe6c..0000000
--- a/render-pdf.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-cd `dirname "$0"`
-NAME=`basename "$0" .sh` 
-pdflatex "$NAME.tex" &&
-(test -x "$NAME.nlo" && makeindex "$NAME.nlo" -s nomencl.ist -o "$NAME.nls" || true) &&
-pdflatex "$NAME.tex" &&
-pdflatex "$NAME.tex"
-find . -name "$NAME*" ! \( -name '*tex' -or -name '*pdf' -or -name '*sh' \) -delete