1.1 --- a/lib/Tools/usedir	Fri Jan 23 13:47:37 1998 +0100
     1.2 +++ b/lib/Tools/usedir	Fri Jan 30 11:01:49 1998 +0100
     1.3 @@ -78,7 +78,7 @@
     1.4  
     1.5  # prepare browser info dir
     1.6  
     1.7 -if [ "$INFO" = "true" -a ! -d $ISABELLE_BROWSER_INFO ]; then
     1.8 +if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then
     1.9  
    1.10    mkdir -p $ISABELLE_BROWSER_INFO/gif
    1.11    cp $ISABELLE_HOME/lib/images/blue_arrow.gif $ISABELLE_BROWSER_INFO/gif