From 67808e59c9d94d3cf68733e94d4afaa1eecb7e8c Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 10 Jul 2016 17:04:06 +0200
Subject: [PATCH] web: Remove extra source browser.

There are two versions of the browsable source code on the paraslash
web pages: the one generated by doxygen and another one which we
create directly with global. The html is identical, modulo style
issues, so let's get rid of the directly generated one.

With the patch applied, the size of the paraslash web pages reduces
by 21M to 80M (55M doxygen + 25M release tarballs).
---
 web/documentation.in.html | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/web/documentation.in.html b/web/documentation.in.html
index f292af25..b226943b 100644
--- 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>
-- 
2.39.5