# HG changeset patch
# User berghofe
# Date 926953466 -7200
# Node ID 401f14f25648d1a72b4eb5b44441a3203911cc75
# Parent  7aa5cc0ae0447f925cf9d9cf21d11abac7823323
usedir now recognizes additional option -P which is used to
tell the presentation module where to find *.html files of
theories.

diff -r 7aa5cc0ae044 -r 401f14f25648 lib/Tools/usedir
--- a/lib/Tools/usedir	Mon May 17 16:59:49 1999 +0200
+++ b/lib/Tools/usedir	Mon May 17 17:04:26 1999 +0200
@@ -18,6 +18,7 @@
   echo "    -b           build mode (output heap image, using current dir)"
   echo "    -i BOOL      generate theory browsing information,"
   echo "                 i.e. HTML / graph data (default false)"
+  echo "    -P PATH      set path for remote theory browsing information"
   echo "    -r           reset session path"
   echo "    -s NAME      override session NAME"
   echo
@@ -36,11 +37,12 @@
 INFO=false
 RESET=false
 SESSION=""
+RPATH=""
 
 function getoptions()
 {
   OPTIND=1
-  while getopts "bi:rs:" OPT
+  while getopts "bi:rs:P:" OPT
   do
     case "$OPT" in
       b)
@@ -55,6 +57,9 @@
       s)
         SESSION="$OPTARG"
         ;;
+      P)
+        RPATH="$OPTARG"
+        ;;
       \?)
         usage
         ;;
@@ -86,8 +91,6 @@
 if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then
 
   mkdir -p $ISABELLE_BROWSER_INFO/gif
-  cp $ISABELLE_HOME/lib/images/blue_arrow.gif $ISABELLE_BROWSER_INFO/gif
-  cp $ISABELLE_HOME/lib/images/red_arrow.gif $ISABELLE_BROWSER_INFO/gif
   cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/gif/isabelle.gif
   cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html
 
@@ -119,7 +122,7 @@
   LOG="$LOGDIR/$ITEM"
 
   $ISABELLE \
-    -e "Session.use_dir $RESET $INFO \"$PARENT\" \"$SESSION\";" \
+    -e "Session.use_dir $RESET $INFO \"$PARENT\" \"$SESSION\" \"$RPATH\";" \
     -q -w $LOGIC $NAME > $LOG 2>&1
   RC=$?
 else
@@ -129,7 +132,7 @@
 
   cd "$NAME"
   $ISABELLE \
-    -e "Session.use_dir $RESET $INFO \"$PARENT\" \"$SESSION\"; quit();" \
+    -e "Session.use_dir $RESET $INFO \"$PARENT\" \"$SESSION\" \"$RPATH\"; quit();" \
     -r -q $LOGIC > $LOG 2>&1
   RC=$?
   cd ..