diff -r 84df8858c8ac -r 3e17f343deb5 lib/Tools/latex
--- 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'"; }