From 63fc8aaf40dfd70129a8d8ae1eed71b43c889591 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sat, 27 Apr 2013 18:09:21 -0400
Subject: Menu: Make the current subsite a link

---
 menu.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/menu.ur b/menu.ur
index 83d6176..299f01f 100644
--- a/menu.ur
+++ b/menu.ur
@@ -39,7 +39,7 @@ fun getUrl (n : Config.pageName) : url =
 fun header (current : Config.pageName) : xbody =
     let fun item (target : Config.pageName) =
     	    if Variant.eq current target
-    	    then <xml><li class={active}>{getName target}</li></xml>
+    	    then <xml><li class={active}><a href={getUrl target}>{getName target}</a></li></xml>
     	    else <xml><li><a href={getUrl target}>{getName target}</a></li></xml>
     in
 	<xml>
-- 
cgit v1.2.3