Change generate_pdfs to bash

2021-05-17 22:11:24 +02:00 · 2021-05-17 22:11:24 +02:00 · 9a6dac6e33
parent f798bccfcb
commit 9a6dac6e33
1 changed files with 1 additions and 1 deletions
--- 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)