diff --git a/programme.sh b/programme.sh index a830ba6..fb787e8 100755 --- a/programme.sh +++ b/programme.sh @@ -4,8 +4,14 @@ function path_to_name { PROGRAMPATH=$1 echo ${PROGRAMPATH//\_/\ } } +if [ "$1" = '' ] +then + rep='.' +else + rep="$1" +fi -for directory in $(find . -name programme -type d); do +for directory in $(find "$rep" -name programme -type d); do cat > programme_options.tex <