allow spaces in file names;
authorwenzelm
Thu Jul 26 14:24:27 2012 +0200 (2012-07-26)
changeset 485153e17f343deb5
parent 48514 84df8858c8ac
child 48516 c5d0f19ef7cb
allow spaces in file names;
lib/Tools/latex
     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'"; }