From 04cbdd90ba9c37ec7aba005f2084e5122e7655f5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 9 Sep 2020 09:21:54 +0200
Subject: [PATCH] Remove C++ from main page
---
html/overview.md | 3 ++-
index.html | 4 ++--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/html/overview.md b/html/overview.md
index 68bb2056..faf56d2d 100644
--- a/html/overview.md
+++ b/html/overview.md
@@ -8,7 +8,8 @@ video: "https://www.youtube.com/embed/WBXPDfz2u1c"
# What is Frama-C?
Frama-C is a suite of tools dedicated to the analysis of the source code of
-software written in C or C++.
+software written in C (or C++, via an
+[experimental front-end](/fc-plugins/frama-clang.html)).
Frama-C gathers several static and dynamic analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows static
diff --git a/index.html b/index.html
index aa98c7d6..961c4205 100755
--- a/index.html
+++ b/index.html
@@ -13,11 +13,11 @@ title: Frama-C
<div class="pageContent titleIn secure" id="content" role="main">
<section class="section fullScreen verticalFlex">
<div class="sectionContent">
- <h2 class="banner-title">A platform to make your C and C++ code safer and more secure</h2>
+ <h2 class="banner-title">A platform to make your C code safer and more secure</h2>
<p class="banner-desc">
Frama-C is an open-source extensible and collaborative platform dedicated to
- source-code analysis of C and C++ software. The Frama-C analyzers assist you
+ source-code analysis of C software. The Frama-C analyzers assist you
in various source-code-related activities, from the navigation through
unfamiliar projects up to the certification of critical software.
<h3><a href="html/overview.html">Read More</a></h3>
--
GitLab