equal
deleted
inserted
replaced
104 ## main |
104 ## main |
105 |
105 |
106 # prepare browser info dir |
106 # prepare browser info dir |
107 |
107 |
108 if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then |
108 if [ "$INFO" = "true" -a ! -f $ISABELLE_BROWSER_INFO/index.html ]; then |
109 |
|
110 mkdir -p $ISABELLE_BROWSER_INFO |
109 mkdir -p $ISABELLE_BROWSER_INFO |
111 cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/isabelle.gif |
110 cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/isabelle.gif |
112 cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html |
111 cp $ISABELLE_HOME/lib/html/index.html $ISABELLE_BROWSER_INFO/index.html |
113 |
112 |
114 mkdir -p $ISABELLE_BROWSER_INFO/graph |
113 mkdir -p $ISABELLE_BROWSER_INFO/graph |
115 cp $ISABELLE_HOME/lib/html/index2.html $ISABELLE_BROWSER_INFO/graph/index.html |
|
116 mkdir $ISABELLE_BROWSER_INFO/graph/GraphBrowser |
114 mkdir $ISABELLE_BROWSER_INFO/graph/GraphBrowser |
117 mkdir $ISABELLE_BROWSER_INFO/graph/awtUtilities |
115 mkdir $ISABELLE_BROWSER_INFO/graph/awtUtilities |
118 cp $ISABELLE_HOME/lib/browser/GraphBrowser/*.class $ISABELLE_BROWSER_INFO/graph/GraphBrowser |
116 cp $ISABELLE_HOME/lib/browser/GraphBrowser/*.class $ISABELLE_BROWSER_INFO/graph/GraphBrowser |
119 cp $ISABELLE_HOME/lib/browser/awtUtilities/*.class $ISABELLE_BROWSER_INFO/graph/awtUtilities |
117 cp $ISABELLE_HOME/lib/browser/awtUtilities/*.class $ISABELLE_BROWSER_INFO/graph/awtUtilities |
120 |
|
121 fi |
118 fi |
122 |
119 |
123 |
120 |
124 # prepare log dir |
121 # prepare log dir |
125 |
122 |