library3 ==> javascript

[helm.git] / helm / cgi / mkindextheory.pl
diff --git a/helm/cgi/mkindextheory.pl b/helm/cgi/mkindextheory.pl

index fc203ff0fa154f4bdcdca0fc2f7d2b6e7a345455..05bb5b925bf91fbc48255c9c25b0ef4afe79373b 100755 (executable)
--- a/helm/cgi/mkindextheory.pl
+++ b/helm/cgi/mkindextheory.pl
@@ -87,7 +87,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">