diff options
author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-05 15:38:58 +0200 |
---|---|---|
committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-05 15:38:58 +0200 |
commit | aa1881d9d41fa7ee5b649b835379f6f60fb2240c (patch) | |
tree | 2415ec0538ef91a8c4dd9d62c0ce5a669859f3f4 /build.sh | |
download | satzung-aa1881d9d41fa7ee5b649b835379f6f60fb2240c.tar.gz satzung-aa1881d9d41fa7ee5b649b835379f6f60fb2240c.zip |
chore: Init
Diffstat (limited to '')
-rwxr-xr-x | build.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..55dae94 --- /dev/null +++ b/build.sh @@ -0,0 +1,14 @@ +#!/usr/bin/env sh + +# if no parameter is given, use 'dst' as destination directory +if [ -z "$1" ]; then + dst=build +else + dst="$1" +fi + +# find all directories which are not the destination dir or inside it +find . -type d -not -name "$dst" -not -path "./$dst/*" -printf '%P\n' | while IFS= read -r dir; do + mkdir --parents "$dst/$dir" +done +latexmk -outdir="$dst" -file-line-error -pdflatex -recorder ./main.tex |