1 files changed, 14 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 69b30e28..9f776106 100644
--- a/build.xml
+++ b/build.xml
@@ -566,6 +566,13 @@
 						<page name="eclipse plugin" src="eclipse_plugin.mkd" />
 					</menu>
 					<divider />
+					<menu name="tickets" pager="true" pagerPlacement="bottom" pagerLayout="justified">
+					  <page name="overview" src="tickets_overview.mkd" />
+					  <page name="using" src="tickets_using.mkd" />
+					  <page name="barnum" src="tickets_barnum.mkd" />
+					  <page name="setup" src="tickets_setup.mkd" />
+					</menu>
+					<divider />
 					<page name="federation" src="federation.mkd" />
 					<divider />
 					<page name="settings" src="properties.mkd" />
@@ -890,6 +897,13 @@
 							<page name="eclipse plugin" src="eclipse_plugin.mkd" />
 						</menu>
 						<divider />
+						<menu name="tickets" pager="true" pagerPlacement="bottom" pagerLayout="justified">
+							<page name="overview" src="tickets_overview.mkd" />
+							<page name="using" src="tickets_using.mkd" />
+							<page name="barnum" src="tickets_barnum.mkd" />
+							<page name="setup" src="tickets_setup.mkd" />
+						</menu>
+						<divider />
 						<page name="federation" src="federation.mkd" />
 						<divider />
 						<page name="settings" src="properties.mkd" />