+ // Warning : won't work with version numbers upper than 9 !
+ sort($arrayDoc, SORT_STRING);
+ for($i=sizeof($arrayDoc);$i>=0;$i--)
+ { if ($arrayDoc[$i] != "")
+ {echo "<li><a href=\"" . $dir . "/" . $arrayDoc[$i] . "/doc/\"> Simgrid version " . $arrayDoc[$i] . "</a>.</li>";}
+
+ }
+ echo "</ul>";