Added tectonic args variable

This commit is contained in:
Mark 2023-10-23 10:58:48 -07:00
parent d79e6bbb9d
commit 7db600d714
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4

View File

@ -36,12 +36,16 @@ function build() {
echo "|> Building ${job_name}..." echo "|> Building ${job_name}..."
cd "${doc_dir}" cd "${doc_dir}"
tectonic_args=(
--chatter minimal
)
# Build handout # Build handout
echo "\\def\\argNoSolutions{1}\\input{${main_file}}" | \ echo "\\def\\argNoSolutions{1}\\input{${main_file}}" | \
tectonic \ tectonic \
"${tectonic_args[@]}" \
--outfmt pdf \ --outfmt pdf \
--chatter minimal \
- -
stat=$? stat=$?
@ -60,8 +64,8 @@ function build() {
# Build solutions # Build solutions
echo "\\def\\argYesSolutions{1}\\input{${main_file}}" | \ echo "\\def\\argYesSolutions{1}\\input{${main_file}}" | \
tectonic \ tectonic \
"${tectonic_args[@]}" \
--outfmt pdf \ --outfmt pdf \
--chatter minimal \
- -
stat=$? stat=$?