From 7151529f736963a58339c60b15457d45491f5369 Mon Sep 17 00:00:00 2001
From: Johannes Oertel <johannes.oertel@uni-due.de>
Date: Sat, 25 Apr 2015 00:21:13 +0200
Subject: [PATCH] rustbook: Fixes display of navigation links in README.html.

---
 src/rustbook/javascript.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rustbook/javascript.rs b/src/rustbook/javascript.rs
index d5483593aa8..26303d13b6c 100644
--- a/src/rustbook/javascript.rs
+++ b/src/rustbook/javascript.rs
@@ -52,7 +52,7 @@ document.addEventListener("DOMContentLoaded", function(event) {
   }
 
   for (var i = 0; i < toc.length; i++) {
-    if (toc[i].attributes['href'].value === href) {
+    if (toc[i].attributes['href'].value.split('/').pop() === href) {
       var nav = document.createElement('p');
       if (i > 0) {
         var prevNode = toc[i-1].cloneNode(true);