+
+ diff --git a/doc/www/index.php b/doc/www/index.php new file mode 100644 index 00000000..1586c56c --- /dev/null +++ b/doc/www/index.php @@ -0,0 +1,39 @@ +([^<]*)#',$s,$mat)) { + if ($id) $headings[]=array("id"=>$id, "name"=>$name, "cur"=>$cur); + $id=$mat[1]; $name=$mat[2]; + $cur=array(); + } + if (preg_match('#

([^<]*)

#',$s,$mat)) { + $cur[]=array("id"=>$mat[1], "name"=>$mat[2]); + } +} +if ($id) $headings[]=array("id"=>$id, "name"=>$name, "cur"=>$cur); + +ob_start(); +foreach($headings as $v) { +?> +
  • + "> + +
      + +
    • ">
      • + +
    + +
    • + + + +