From 8c3772288630df347539eadde88dc22cc4ef2af0 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Tue, 28 Jun 2022 18:28:29 +0200
Subject: Nowe rzeczy, wstep do teorii kategorii

---
 update-pdf.sh | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 update-pdf.sh

(limited to 'update-pdf.sh')

diff --git a/update-pdf.sh b/update-pdf.sh
deleted file mode 100644
index f342079..0000000
--- a/update-pdf.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-if [[ $# != 1 ]]
-then
-  echo "Usage: $0 [.tex file]"
-  exit 1
-fi
-
-PRACA=$1
-if ! [[ -f $PRACA ]]
-then
-  echo "No such file: $PRACA"
-  exit 1
-fi
-
-threshold=1
-while true
-do
-  if (($(date +"%s")- $(stat --format="%Y" $PRACA) < $threshold))
-  then
-    echo "updating"
-    pdflatex $PRACA
-    biber $PARACA
-    pdflatex $PRACA
-    pdflatex $PRACA
-  else
-    sleep 0.2
-  fi
-done
-- 
cgit v1.2.3