[menu
Olivier Schwander <olivier.schwander@ens-lyon.org>**20110328142716
 Ignore-this: a11cb6bdaeb87438ce2e068740ca6e71
] hunk ./uphp.php 25
-$q = $_GET['q'];
+function html5_menu($xml, $path) {
+  $pages = $xml->page;
+
+  print "<div id=\"menu\">\n";
+  print " <ul>\n";
+  foreach($pages as $p) {
+    if ($p['name']) {
+      if ($p['menu'] != "0") {
+        $name = $p['name'];
+        $title = $p->title;
+        print sprintf(" <li><a href=\"index?q=%s%s\">%s</a></li>\n", $path, $name, $title);
+      }
+    }
+  }
+  print " </ul>\n";
+  print "</div>\n";
+  print "\n";
+
+  $categories = $xml->category;
+  foreach($categories as $c) {
+    $name = $p['name'];
+    html5_menu($c, $name);
+  }
+};
+
+$query = $_GET['q'];
+if ($query == "") {
+  $query = "index";
+}
hunk ./uphp.php 59
-$result = $xml->xpath("//page[@name='$q']");
+$result = $xml->xpath("/uphp/page[@name='$query']");
hunk ./uphp.php 71
+    html5_menu($xml, "");
+
hunk ./uphp.php 74
-    readfile(sprintf('html/%s.html', $q));
+    readfile(sprintf('html/%s.html', $query));