From 13082e9ce15181825fd44badbead1f59098c62ea Mon Sep 17 00:00:00 2001
From: Matthias Maier
Date: Mon, 21 Jul 2014 18:26:16 +0200
Subject: [PATCH] Documentation: Remove all references to external resources
We already link to this external resources on the homepage - there is no
point in doing it here (nobody will find it and it has the bad tendency of
being out of date).
---
doc/developers/navbar.html | 9 --------
doc/developers/toc.html | 42 ++++++++------------------------------
doc/users/navbar.html | 12 -----------
doc/users/toc.html | 25 ++++++++---------------
4 files changed, 16 insertions(+), 72 deletions(-)
diff --git a/doc/developers/navbar.html b/doc/developers/navbar.html
index 2999fe8345..db7d4a0847 100644
--- a/doc/developers/navbar.html
+++ b/doc/developers/navbar.html
@@ -37,14 +37,5 @@
-
- Online Resources
-
- Recent changes
- CDash
- Performance tests
-
-
-