From 65d8d5795a9987008962e84a4bf10db0abbbe048 Mon Sep 17 00:00:00 2001
From: Guylaine Prat <guylaine.prat@c-s.fr>
Date: Thu, 3 Jan 2019 17:09:31 +0100
Subject: [PATCH] Renamed the generated html filename for license.
Due to a maven plugin evolution, the former license.html name is now :
licenses.html
---
src/site/site.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/site/site.xml b/src/site/site.xml
index 94984296..1f4bfe37 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -31,7 +31,7 @@
<item name="Building" href="/building.html" />
<item name="Configuration" href="/configuration.html" />
<item name="FAQ" href="/faq.html" />
- <item name="License" href="/license.html" />
+ <item name="License" href="/licenses.html" />
<item name="Downloads" href="/downloads.html" />
<item name="Changes" href="/changes-report.html" />
<item name="Contact" href="/contact.html" />
--
GitLab