]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/mkindexcic.pl
library3 ==> javascript
[helm.git] / helm / cgi / mkindexcic.pl
index 6f816d3271a660d4d28348ce8eae36cd5ffbf530..0033a512ae210a7ec954e1f9f4478958df1f3b3f 100755 (executable)
@@ -98,7 +98,7 @@ Content-type: text/html
 <html>
 <head>
 <title>Index of $uri</title>
-<script language="JavaScript" src="http://phd.cs.unibo.it/helm/library3/control.js">
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
 </script>
 </head>
 <body bgcolor="#ffffff" text="#000000">