Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
allow spaces in file names;
authorwenzelm
Thu, 26 Jul 2012 14:24:27 +0200
changeset 48515 3e17f343deb5
parent 48514 84df8858c8ac
child 48516 c5d0f19ef7cb
allow spaces in file names;
lib/Tools/latex file | annotate | diff | comparison | revisions 
--- 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'"; }
isabelle