mintEC paper

This commit is contained in:
2022-10-31 17:26:56 +01:00
parent a9eda356bf
commit 765e23c30c
34 changed files with 802 additions and 20 deletions

View File

@ -0,0 +1,8 @@
#/bin/sh
for file in $(ls -v ergebnisdateien); do
operators=$(basename "$file" .txt)
if [ "$operators" != "1" ]; then
ending=en
fi
printf "%s Operator%s:\\inputminted[breaklines]{text}{%s}\n" "$operators" "$ending" "ergebnisdateien/$file"
done