]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/mk_html.pl
ocaml 3.09 transition
[helm.git] / helm / graphs / tools / mk_html.pl
index 6ca4d0bcf3caa819d58eaa87bc3424726e353f50..a928cd5ade5c4cfafdf79afb79f71e90a20838ad 100755 (executable)
@@ -4,16 +4,14 @@ use URI::Escape;
 
 print <<EOT;
 <?xml version="1.0"?>
-<html>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:subst="http://www.cs.unibo.it/helm/subst">
  <head>
   <title>Graph</title>
  </head>
  <body bgcolor="white" onLoad="window.focus()">
   <script>
+   var draw_graphURL = "<subst:draw_graphURL/>";
 <![CDATA[
-   // NOTE: getParam will be defined during the application
-   // of the next stylesheet in the stylesheet chain
-   var draw_graphURL = unescape(getParam("param.draw_graphURL"));
    document.write('<img border="false" src="' + draw_graphURL + 'get_gif?pid=$ARGV[0]" usemap="#graphe">');
 ]]>
   </script>