From 166da624325dabf0884587f1cde7a8e971620221 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 8 Nov 2021 15:01:53 +0100
Subject: [PATCH] [archives] better description of the old archive on the
contact page.
---
html/contact.html | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/html/contact.html b/html/contact.html
index 3cd1b294..610886ed 100644
--- a/html/contact.html
+++ b/html/contact.html
@@ -148,7 +148,14 @@ function(err, data) {
<div class="side-item">
<div class="icon-com"><img src="/assets/img/community/mails.png"/></div>
<a href="/html/fc-discuss/archives.html">
- Archives of the Old Frama-C discuss list (before October 2020)
+ <div class="caption">
+ Archives of the old Frama-C discuss list
+ </div>
+ <div class="description">
+ Archives up to October 2020 (when the list was managed through
+ another provider). Newer archives can be found at the site of
+ the current mailing list.
+ </div>
</a>
</div>
<div class="side-item">
--
GitLab