--- a/lib/Tools/usedir Fri Oct 08 15:03:38 1999 +0200
+++ b/lib/Tools/usedir Fri Oct 08 15:03:47 1999 +0200
@@ -17,7 +17,6 @@
echo " Options are:"
echo " -B build mode with THIS_IS_ISABELLE_BUILD indication"
echo " -P PATH set path for remote theory browsing information"
- echo " -c BOOL clean document source after build (default true)"
echo " -b build mode (output heap image, using current dir)"
echo " -d FORMAT build document as FORMAT (default false)"
echo " -i BOOL generate theory browsing information,"
@@ -39,7 +38,6 @@
# options
BUILD=""
-CLEANDOC=true
DOCUMENT=false
INFO=false
RESET=false
@@ -60,9 +58,6 @@
b)
BUILD=true
;;
- c)
- CLEANDOC="$OPTARG"
- ;;
d)
DOCUMENT="$OPTARG"
;;
@@ -134,9 +129,8 @@
[ -z "$BUILD" ] && cd "$NAME"
-if [ "$DOCUMENT" != false -a -d document -a -f document/root.tex ]
-then DOC="$DOCUMENT"
-else DOC=""; fi
+DOC=""
+[ "$DOCUMENT" != false -a -d document ] && DOC="$DOCUMENT"
SECONDS=0