author | wenzelm |
Thu, 26 Jul 2012 14:24:27 +0200 | |
changeset 49530 | 3e17f343deb5 |
parent 49529 | 84df8858c8ac |
child 49531 | c5d0f19ef7cb |
lib/Tools/latex | file | annotate | diff | comparison | revisions |
1.1 --- a/lib/Tools/latex Thu Jul 26 14:22:37 2012 +0200 1.2 +++ b/lib/Tools/latex Thu Jul 26 14:24:27 2012 +0200 1.3 @@ -62,8 +62,8 @@ 1.4 1.5 # root file 1.6 1.7 -DIR=$(dirname "$FILE") 1.8 -FILEBASE=$(basename "$FILE" .tex) 1.9 +DIR="$(dirname "$FILE")" 1.10 +FILEBASE="$(basename "$FILE" .tex)" 1.11 [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE" 1.12 1.13 function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }