# HG changeset patch
# User wenzelm
# Date 953905251 -3600
# Node ID b18540435f26fbf2152f3a7ae5d9e31fcd9e9481
# Parent  e6d46b03f2cbe06c173d79078a5dacc7eec33747
tuned;

diff -r e6d46b03f2cb -r b18540435f26 lib/Tools/latex
--- a/lib/Tools/latex	Fri Mar 24 13:48:31 2000 +0100
+++ b/lib/Tools/latex	Fri Mar 24 14:40:51 2000 +0100
@@ -69,7 +69,7 @@
   FILEBASE=$DIR/$(basename "$FILE" .tex)
 fi
 
-function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'" }
+function check_root () { [ -f "$FILEBASE.tex" ] || fail "Bad file '$FILE'"; }
 
 
 # operations
diff -r e6d46b03f2cb -r b18540435f26 lib/Tools/usedir
--- a/lib/Tools/usedir	Fri Mar 24 13:48:31 2000 +0100
+++ b/lib/Tools/usedir	Fri Mar 24 14:40:51 2000 +0100
@@ -133,9 +133,12 @@
 
 [ -z "$BUILD" ] && cd "$NAME"
 
-DOC=""
-[ "$DOCUMENT" != false -a -d document ] && DOC="$DOCUMENT"
-[ -n "$DUMP" ] && $ISATOOL latex -o sty "$DUMP/root.tex" >/dev/null
+if [ "$DOCUMENT" != false -a -d document ]; then
+  DOC="$DOCUMENT"
+  [ -n "$DUMP" -a -d "$DUMP" ] && $ISATOOL latex -o sty "$DUMP/root.tex" >/dev/null
+else
+  DOC=""
+fi
 
 
 SECONDS=0