--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/menu.py Fri Feb 06 23:21:24 2009 +0200
@@ -0,0 +1,23 @@
+"""
+ Handling the list of available pages
+"""
+
+# for page_list
+from page import page_list as _page_list
+
+class Menu (object) :
+ """
+ Contains info needed to render the menu
+ """
+
+ def __init__ (self, page) :
+ """
+ Gather the menu information for the given page
+ """
+
+ # the selected page
+ self.page = page
+
+ # list of siblings
+ self.siblings = _page_list.get_siblings(page)
+