lib/Tools/latex
changeset 48515 3e17f343deb5
parent 40893 7d88ebdce380
child 52746 eec610972763
equal deleted inserted replaced
48514:84df8858c8ac 48515:3e17f343deb5
    60 
    60 
    61 ## main
    61 ## main
    62 
    62 
    63 # root file
    63 # root file
    64 
    64 
    65 DIR=$(dirname "$FILE")
    65 DIR="$(dirname "$FILE")"
    66 FILEBASE=$(basename "$FILE" .tex)
    66 FILEBASE="$(basename "$FILE" .tex)"
    67 [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE"
    67 [ "$DIR" = . ] || FILEBASE="$DIR/$FILEBASE"
    68 
    68 
    69 function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
    69 function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
    70 
    70 
    71 
    71