From 09067de2e24c1c027bd6988e0b54b59eb0677756 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 25 Nov 2022 07:37:51 +0100 Subject: [PATCH] minor changes to documentation page --- html/documentation.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/documentation.html b/html/documentation.html index af89c2c1..05e6d787 100755 --- a/html/documentation.html +++ b/html/documentation.html @@ -55,10 +55,10 @@ description: Quick access to the documentation of Frama-C and the plugins develo <div class="tileWrapper" size="small"> <div class="tileWrapperTitle"> - <span>Plug-in Manuals</span> + <span>Plug-ins</span> </div> <div class="tile"> - <h4 class="tileTitle"><span>Plugin Development</span></h4> + <h4 class="tileTitle"><span><i>Plug-in Development</i></span></h4> <ul> <li><a href="/download/frama-c-plugin-development-guide.pdf">Developer manual</a></li> </ul> -- GitLab