| changeset 48515 | 3e17f343deb5 |
| parent 40893 | 7d88ebdce380 |
| child 52746 | eec610972763 |
--- a/lib/Tools/latex Thu Jul 26 14:22:37 2012 +0200 +++ b/lib/Tools/latex Thu Jul 26 14:24:27 2012 +0200 @@ -62,8 +62,8 @@ # root file -DIR=$(dirname "$FILE") -FILEBASE=$(basename "$FILE" .tex) +DIR="$(dirname "$FILE")" +FILEBASE="$(basename "$FILE" .tex)" [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE" function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }