X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fmk_html.pl;h=6ca4d0bcf3caa819d58eaa87bc3424726e353f50;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=1d558fa3c586c99266fda9d1ec95ea084dc76ae1;hpb=20ed1380a16eedf7871ba9d7192fed71151998df;p=helm.git diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 1d558fa3c..6ca4d0bcf 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -3,117 +3,27 @@ use URI::Escape; print < Graph - - - - - - - EOT +my $count = 0; + while () { + $count++; my (undef,$point1,$point2,$uri) = split; my ($point1x,$point1y) = split /,/,$point1; my ($point2x,$point2y) = split /,/,$point2; @@ -122,36 +32,18 @@ while () { $point1x = substr($point1x,1); $point2x = substr($point2x,1); -# Linea corretta se c'e' il menu -# print < -#EOT - -# In assenza di menu - my $point_1_5_x = $point1x + ($point2x - $point1x)/5; - my $point_2_5_x = $point1x + 2*($point2x - $point1x)/5; - my $point_3_5_x = $point1x + 3*($point2x - $point1x)/5; - my $point_4_5_x = $point1x + 4*($point2x - $point1x)/5; print < - document.write(''); - -EOT - print < - document.write(''); - -EOT - print < - document.write(''); - + EOT } print < - + EOT