diff -r 8fd408765c1d -r ddbaf6785d0d lib/Tools/latex
--- 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