From 93082cf1eddc9b96c636b542acbc2f0ed5a8563f Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <ntd@informatik.uni-kiel.de>
Date: Fri, 30 Jan 2015 16:45:22 +0100
Subject: [PATCH] changed name so the dependencies plugin will not be ignored
---
.../{dependencies.markdown => other-dependencies.markdown} | 0
src/site/site.xml | 2 +-
2 files changed, 1 insertion(+), 1 deletion(-)
rename src/site/markdown/{dependencies.markdown => other-dependencies.markdown} (100%)
diff --git a/src/site/markdown/dependencies.markdown b/src/site/markdown/other-dependencies.markdown
similarity index 100%
rename from src/site/markdown/dependencies.markdown
rename to src/site/markdown/other-dependencies.markdown
diff --git a/src/site/site.xml b/src/site/site.xml
index 3751706c..5d410e96 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -56,7 +56,7 @@
<menu name="Documentation">
<item name="JavaDoc" href="stabledocs/index.html" />
<item name="Release Notes" href="changes-report.html" />
- <item name="Project Dependencies" href="dependencies.html" />
+ <item name="Project Dependencies" href="other-dependencies.html" />
<item name="License" href="license.html" />
</menu>
<menu name="Get Involved">
--
GitLab