From 9a6dac6e33fe1ea2c7bea4b6e432fd990e06473e Mon Sep 17 00:00:00 2001 From: h7x4 Date: Mon, 17 May 2021 22:11:24 +0200 Subject: [PATCH] Change generate_pdfs to bash --- generate_pdfs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generate_pdfs.sh b/generate_pdfs.sh index e5a8ab9..150f041 100755 --- a/generate_pdfs.sh +++ b/generate_pdfs.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash mkdir -p public for file in $(find -name main.tex)