From d852e9e000f57f280deb84611ae1af58daa883cc Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Fri, 18 Nov 2016 23:08:45 +0100
Subject: Fix links in README, configure navbar, rebuild docs

---
 docs/reference/HS.solution.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/reference/HS.solution.html')

diff --git a/docs/reference/HS.solution.html b/docs/reference/HS.solution.html
index 57a36e37..2d0b6e4f 100644
--- a/docs/reference/HS.solution.html
+++ b/docs/reference/HS.solution.html
@@ -49,7 +49,7 @@
     <div id="navbar" class="navbar-collapse collapse">
       <ul class="nav navbar-nav">
         <li>
-  <a href="../reference/index.html">Function reference</a>
+  <a href="../reference/index.html">Functions and data</a>
 </li>
 <li class="dropdown">
   <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false">
-- 
cgit v1.2.1