From 7db600d714fa9c76e27e224be260c20a56de6fa8 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 23 Oct 2023 10:58:48 -0700 Subject: [PATCH] Added tectonic args variable --- build.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index c3b813e..cd2730c 100755 --- a/build.sh +++ b/build.sh @@ -36,12 +36,16 @@ function build() { echo "|> Building ${job_name}..." cd "${doc_dir}" + tectonic_args=( + --chatter minimal + ) + # Build handout echo "\\def\\argNoSolutions{1}\\input{${main_file}}" | \ tectonic \ + "${tectonic_args[@]}" \ --outfmt pdf \ - --chatter minimal \ - stat=$? @@ -60,8 +64,8 @@ function build() { # Build solutions echo "\\def\\argYesSolutions{1}\\input{${main_file}}" | \ tectonic \ + "${tectonic_args[@]}" \ --outfmt pdf \ - --chatter minimal \ - stat=$?