diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lesson-dist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/lesson-dist b/scripts/lesson-dist index 52184484..eae821d9 100755 --- a/scripts/lesson-dist +++ b/scripts/lesson-dist @@ -33,7 +33,10 @@ add_custom_latex_to_archive "${basedir}"/latex/common.tex \ "${basedir}"/latex/common_options.tex # Include common images -add_custom_latex_to_archive "${basedir}"/latex/images/** +# TODO: only include used images +readarray -t images < <(find "${basedir}"/latex/images -printf '%p\n') +add_custom_latex_to_archive "${images[@]}" + # Include the needed latex classes if grep -Pzrq '(?s)documentclass.+test\}' .; then |