diff --git a/html/contact.html b/html/contact.html index 3cd1b29452d2c6058e2a3d0c61eb419f0c2bba88..610886ed507dd39c2f622d3396ef365c65d292d4 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">