X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkindexcic.pl;h=a31f5ecfb08d2316e919fd37df760e0016c99950;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=6e0a566b1264ee3f2ffc779230397075d2e03ab8;hpb=1c693fc961f678220df64a5ba098ba10906828f0;p=helm.git

diff --git a/helm/cgi/mkindexcic.pl b/helm/cgi/mkindexcic.pl
index 6e0a566b1..a31f5ecfb 100755
--- a/helm/cgi/mkindexcic.pl
+++ b/helm/cgi/mkindexcic.pl
@@ -39,7 +39,7 @@ if ($uri ne "cic:/") {
  $output = <<EOT;
 <tr>
 <td><img border="0" src="/icons/back.gif" alt="[BACK]"></td>
-<td><a href="$myurl" onClick="top.frames[0].document.forms[0].hiddencicuri.value='$uridotdot'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uridotdot&getterURL=$getterURL';" onMouseOver="window.status='$uridotdot'; return true">Parent Directory</a></td>
+<td><a href="$myurl" onClick="top.cicuri='$uridotdot'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uridotdot&getterURL=$getterURL';" onMouseOver="window.status='$uridotdot'; return true">Parent Directory</a></td>
 </tr>
 EOT
 }
@@ -53,7 +53,7 @@ foreach $i (@filenames) {
       $output .= <<EOT;
 <tr>
 <td><img border="0" src="/icons/folder.gif" alt="[DIR]"></td>
-<td><a href="$myurl" onClick="top.frames[0].document.forms[0].hiddencicuri.value='$uri$name'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
+<td><a href="$myurl" onClick="top.cicuri='$uri$name'; refreshReload(); refreshCICHeader(); this.search='?cicuri=$uri$name&getterURL=$getterURL';" onMouseOver="window.status='$uri$name'; return true">$name</a></td>
 </tr>
 </tr>
 EOT