X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fmk_html.pl;h=a928cd5ade5c4cfafdf79afb79f71e90a20838ad;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=08ce976ebde7c50c09091b01954680f04bfc3bcc;hpb=f9c6a0ac7617908531633243af1091db829d71fe;p=helm.git diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 08ce976eb..a928cd5ad 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -3,174 +3,17 @@ use URI::Escape; print < + + Graph - - - - - - - - - EOT @@ -188,31 +31,17 @@ while () { $point2x = substr($point2x,1); print < -EOT - - print < -HM_Array$count = [ -[,,, -,,,,,,,,,,,,,,,, -1,true], -["Objects this one depends on.",mkDepURL('$uri'),1,0,1], -["Render this object.","javascript:window.open('" + mkCICURL('$uri') + "','cic')",1,0,0], -["Objects depending on this one.",mkMetaURL('$uri'),1,0,1], -]; - + EOT } print < - - + EOT