From 379e740034671e0039652523e58de145c95598f6 Mon Sep 17 00:00:00 2001 From: h7x4 Date: Wed, 9 Feb 2022 11:59:56 +0100 Subject: [PATCH] Remove redundant script --- make.sh | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 make.sh diff --git a/make.sh b/make.sh deleted file mode 100755 index 75dbc71..0000000 --- a/make.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash - -python3 ./toTex.py -xelatex main.tex -numberOfPages=$(pdfinfo main.pdf | awk '/^Pages:/ {print $2}') - -echo $numberOfPages - -cat >wrapper.tex <