diff --git a/programme.sh b/programme.sh index a830ba6..e27a74e 100755 --- a/programme.sh +++ b/programme.sh @@ -5,16 +5,33 @@ function path_to_name { echo ${PROGRAMPATH//\_/\ } } -for directory in $(find . -name programme -type d); do - cat > programme_options.tex < programme_options.tex <