Remove unused script

2018-04-04 14:31:25 +02:00
parent a55e718af9
commit dc203eaf5a
1 changed files with 0 additions and 23 deletions
@@ -1,23 +0,0 @@
-#!/bin/sh
-
-if [ "$1" = "kill" ]; then
-    pkill latex.sh
-else
-    DIR="$1"
-    OUT="$DIR/out"
-    mkdir -p $OUT
-    HASH="$(md5sum $DIR/main.tex)"
-
-    while true; do
-        sleep 1
-
-        TMP="$(md5sum $DIR/main.tex)"
-        if [ "$HASH" != "$TMP" ]; then
-            HASH="$TMP"
-            pdflatex -no-file-line-error -interaction=nonstopmode -synctex=1 \
-            -output-format=pdf -output-directory=$OUT $DIR/main.tex \
-            > /dev/null 2>&1
-        fi
-    done
-fi
-