top.topurl alias topurl alias interfaceURL alias thinterfaceURL is no

[helm.git] / helm / on-line / javascript / control.js

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index a36165f78cd16cdaa8c95a9de5880109f3af8a14..e40ea42106226596c5516ceef426df4a26a37595 100644 (file)
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -121,8 +121,8 @@ function makeURL(type,uri,cicflags,typesflags)
   var keys = "";
   var url = "";
 
-  var interfaceURL = chopSlash(chopSlash(top.topurl)) + "/cic/index.html";
-  var thinterfaceURL = chopSlash(chopSlash(top.topurl)) + "/theory/index.html";
+  var interfaceURL = top.topurl + "/html/cic/index.html";
+  var thinterfaceURL = top.topurl + "/html/theory/index.html";
 
   var output = mode_list[0];
   var format;