# HG changeset patch
# User wenzelm
# Date 860173879 -7200
# Node ID c7411fce37e4b0025b11d205eef577c7faeef8aa
# Parent  d761a62da697668c5e003735e4dbd511064909d5
added -g, -h options;
replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;

diff -r d761a62da697 -r c7411fce37e4 lib/Tools/usedir
--- a/lib/Tools/usedir	Fri Apr 04 19:10:22 1997 +0200
+++ b/lib/Tools/usedir	Fri Apr 04 19:11:19 1997 +0200
@@ -17,6 +17,8 @@
   echo "  Options are:"
   echo "    -b           build mode (output heap image, use dir \".\")"
   echo "    -c           force copying of heap file (for Poly/ML)"
+  echo "    -g BOOL      generate theory graph data (default false)"
+  echo "    -h BOOL      generate theory HTML data (default false)"
   echo "    -s NAME      override session NAME"
   echo
   echo "  Build object-logic or run examples. Also creates browsing"
@@ -32,26 +34,41 @@
 
 BUILD=""
 COPYDB=""
+GRAPH=false
+HTML=false
 SESSION=""
 
-while getopts "bcs:" OPT
-do
-  case "$OPT" in
-    b)
-      BUILD=true
-      ;;
-    c)
-      COPYDB="-c"
-      ;;
-    s)
-      SESSION="$OPTARG"
-      ;;
-    \?)
-      usage
-      ;;
-  esac
-done
+function getoptions()
+{
+  OPTIND=1
+  while getopts "bcg:h:s:" OPT
+  do
+    case "$OPT" in
+      b)
+        BUILD=true
+        ;;
+      c)
+        COPYDB="-c"
+        ;;
+      g)
+        GRAPH="$OPTARG"
+        ;;
+      h)
+        HTML="$OPTARG"
+        ;;
+      s)
+        SESSION="$OPTARG"
+        ;;
+      \?)
+        usage
+        ;;
+    esac
+  done
+}
 
+getoptions $ISABELLE_USEDIR_OPTIONS
+
+getoptions "$@"
 shift $(($OPTIND - 1))
 
 
@@ -70,13 +87,13 @@
 
 if [ -n "$BUILD" ]; then
   exec $ISABELLE \
-    -e "make_html := $ISABELLE_HTML;" \
+    -e "make_html := $HTML;" \
     -e "set_session\"$SESSION\";" \
     -e "exit_use_dir\".\";" \
     -q $COPYDB $LOGIC $NAME
 else
   exec $ISABELLE \
-    -e "make_html := $ISABELLE_HTML;" \
+    -e "make_html := $HTML;" \
     -e "set_session\"$SESSION\";" \
     -e "exit_use_dir\"$NAME\"; quit();" \
     -r -q $LOGIC