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.
tuned dirname;
authorwenzelm
Thu, 07 Oct 1999 12:38:12 +0200
changeset 7777 ddbaf6785d0d
parent 7776 8fd408765c1d
child 7778 4caa07322d8f
tuned dirname;
lib/Tools/latex file | annotate | diff | comparison | revisions 
--- a/lib/Tools/latex	Thu Oct 07 12:37:55 1999 +0200
+++ b/lib/Tools/latex	Thu Oct 07 12:38:12 1999 +0200
@@ -60,10 +60,10 @@
 ## main
 
 DIR=$(dirname "$FILE")
-if [ "$DIR" = "." ]; then
+if [ "$DIR" = . ]; then
   FILEBASE=$(basename "$FILE" .tex)
 else
-  FILEBASE=$(dirname "$FILE")/$(basename "$FILE" .tex)
+  FILEBASE=$DIR/$(basename "$FILE" .tex)
 fi
 
 case "$OUTFORMAT" in
isabelle