[m-rev.] www diff: Fix a styling bug in the menubar

[Paul Bone]

The motivation link was not correctly styled when it was the current link,
this fixes that issue.

include/menubar.inc:
    As above.
---
 include/menubar.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/menubar.inc b/include/menubar.inc
index 81b8d33..ff36b48 100644
--- a/include/menubar.inc
+++ b/include/menubar.inc
@@ -4,7 +4,7 @@
 	if($menu == "About") { ?>
 	<ul class="submenu">
 	<li><a href="<?php echo $root?>/about/motivation.html">
-	<div <?php if($include=="overview.inc"){ ?> class="submenucurrent" <?php } ?>>
+	<div <?php if($include=="motivation.inc"){ ?> class="submenucurrent" <?php } ?>>
 	motivation</div></a></li>
 	<li><a href="<?php echo $root?>/about/benchmarks.html">
 	<div <?php if($include=="benchmarks.inc"){ ?> class="submenucurrent" <?php } ?>>
-- 
2.7.4