top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no

[helm.git] / helm / on-line / html / library / control.html

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index f70dd94cc9397d6e5a51e71b33ad7ecfe9c1e5d3..bb7830888903a74577b41370b3f9eaf218dc9a14 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -44,7 +44,7 @@
     <td>
      <script>
        document.write('<a target="_top" href="' +
-         getParam('topurl') +
+         getParam('topurl') + '/html/library/index.html' +
         '?mode=' + getParam('mode') +
         '&cicuri=' + getParam('cicuri') +
         '&theoryuri=' + getParam('theoryuri') +