--- a/lib/Tools/usedir Wed Feb 09 12:28:44 2000 +0100
+++ b/lib/Tools/usedir Wed Feb 09 12:29:03 2000 +0100
@@ -102,8 +102,7 @@
if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then
- mkdir -p $ISABELLE_BROWSER_INFO/gif
- cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/gif/isabelle.gif
+ cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/isabelle.gif
cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html
mkdir -p $ISABELLE_BROWSER_INFO/graph