Merge branch 'refs/heads/t/rm_source_browser'

Cooking for five months.

A single patch which gets rid of the source browser generated with
global, reducing the size of the web pages considerably.

* refs/heads/t/rm_source_browser:
  web: Remove extra source browser.

diff --git a/NEWS.md b/NEWS.md
index 71eb6cb26d3a333f8840f78848ad74986f689754..afc7f1054d9df40371a6594255c6e47b4baf356b 100644 (file)
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,6 +1,16 @@
 NEWS
 ====
 
+------------------------------------------
+0.5.7 (to be announced) "semantic density"
+------------------------------------------
+
+- One of the two source browsers has been removed from the web pages.
+  The doxygen API reference still contains an HTML version of each
+  source file.
+
+Download: [tarball](./releases/paraslash-git.tar.bz2)
+
 ---------------------------------------
 0.5.6 (2016-07-10) "cascading gradient"
 ---------------------------------------

diff --git a/web/documentation.in.html b/web/documentation.in.html
index f292af25d723764f18e555e8daac714089f3d7f5..b226943b199a224e6b38e4685235707982e23f11 100644 (file)
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -36,10 +36,5 @@
 <h2> Source code documentation </h2>
 
 <ul>
-
-       <li> <a href="doxygen/html/index.html">API
-       Reference</a>. </li>
-
-       <li> <a href="HTML/index.html">Browsable source</a>. </li>
-
+       <li> <a href="doxygen/html/index.html">API Reference</a> </li>
 </ul>