diff --git a/_layouts/changelog.html b/_layouts/changelog.html index 161f8e528bf6e6401996cced1f64f51fdfa3cab2..7e05129960147572c8bb6d8543ca3f679c877a06 100644 --- a/_layouts/changelog.html +++ b/_layouts/changelog.html @@ -1,5 +1,6 @@ --- layout: default +descripton: Complete changelog of the Frama-C analysis platform. --- <body class="page nonTouch"> diff --git a/_layouts/default.html b/_layouts/default.html index c693c63c400aebb2ecac51745f32cbf97ef386d4..2cb7b5b4ecc39fb95113313e2fee153e6f0925d8 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -4,6 +4,11 @@ <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width,initial-scale=1,maximum-scale=1,user-scalable=no"> + {% if page.description %} + <meta name="description" content="{{ page.description }}"> + {% elsif layout.description %} + <meta name="description" content="{{ layout.description }}"> + {% endif %} {% if page.title %} <title>{{ page.title }}</title> diff --git a/_layouts/version.html b/_layouts/version.html index 9c2b8de0e1947cf85224c81c948230b04ab54ed0..05225599be7b0e601b6a328362b0eba6583eb060 100644 --- a/_layouts/version.html +++ b/_layouts/version.html @@ -1,6 +1,6 @@ --- layout: default -title: page.name +description: Frama-C analysis platform release and manuals. css: version --- diff --git a/blog/index.html b/blog/index.html index 9ad4f9cc72e928c12e64a8f833b032d3673ed0cf..5c943c740334bf844426152e18bd70bc9dc59fc5 100644 --- a/blog/index.html +++ b/blog/index.html @@ -1,6 +1,7 @@ --- layout: blog title: Blog - Frama-C +description: Articles related to the use of the Frama-C analysis platform. css: blog --- diff --git a/html/acsl.html b/html/acsl.html index 2b42d9439bd509f730b6977124a8faed383a753f..5f835f6d57eed73606735ff9888d1d8240e54d79 100755 --- a/html/acsl.html +++ b/html/acsl.html @@ -2,6 +2,7 @@ layout: feature css: plugin title: ACSL - Frama-C +description: Description of the ANSI C Specification Language. active: acsl --- diff --git a/html/contact.html b/html/contact.html index 86a5a07dbc060df52acfeb2e34d9188be94fc6a2..5f2d488fe05f8f5bc3138a8374b94f6e8aadc037 100644 --- a/html/contact.html +++ b/html/contact.html @@ -2,6 +2,7 @@ layout: default css: contact title: Contact Us +description: Get in touch with the Frama-C team and its community! --- <head> diff --git a/html/documentation.html b/html/documentation.html index 064e5c9c590189787c76fca7779b6ba46e35352a..cf0a51d5b5f9a100e3b7ed833e1e038e8660cb43 100755 --- a/html/documentation.html +++ b/html/documentation.html @@ -2,6 +2,7 @@ css: documentation layout: default title: Documentation - Frama-C +description: Quick access to the documentation of Frama-C and the plugins developed by the Frama-C team. --- <body class="page nonTouch"> diff --git a/html/framac-versions.html b/html/framac-versions.html index 73e41b9dae6bddb708216b66a4c42c434aff2d09..bae918e7987a655fc1b9f82e75640a9702dd68f5 100755 --- a/html/framac-versions.html +++ b/html/framac-versions.html @@ -1,6 +1,7 @@ --- layout: default title: Versions Frama-C +description: Direct access to current and previous releases of the Frama-C analysis platform, including source archives and documentation. --- <body class="page nonTouch"> <div id="wrapper" class="hfeed"> diff --git a/html/get-frama-c.html b/html/get-frama-c.html index 5a8401d601ffb687d2d28b7e10cd4e15c0134b30..a886c7d9418adffbe30c571637f1048f0e82f03b 100644 --- a/html/get-frama-c.html +++ b/html/get-frama-c.html @@ -2,6 +2,7 @@ layout: default css: get-framac title: Get Frama-C +description: Download and install the Frama-C analysis platform now! --- <body class="page nonTouch"> diff --git a/html/gui.md b/html/gui.md index 44dd29db62bdae278c5eb2b979e84e1bb987a223..25808e9078dea7cf9e5b362d8e074f7e6527ed48 100644 --- a/html/gui.md +++ b/html/gui.md @@ -2,6 +2,7 @@ layout: feature css: plugin title: Graphical User Interface (GUI) - Frama-C +description: Description of the Frama-C analysis platform Graphical User Interface. active: gui --- diff --git a/html/kernel-plugin.html b/html/kernel-plugin.html index c592d797e4625e2eb2eb77cd61339879ec6929fa..6c6db0905b3fa86314661b57bbded7db5a8dff73 100755 --- a/html/kernel-plugin.html +++ b/html/kernel-plugin.html @@ -2,6 +2,7 @@ layout: feature css: plugin title: Kernel & Plugins - Frama-C +description: Overview of all the analyzers of the Frama-C analysis platform with access to summaries, quick examples, user manuals and links to other resources. active: "kernel-plugin" --- diff --git a/html/kernel.html b/html/kernel.html index 8ab71e3bd39ffa998a3b51708dcc97613b1772c8..1742287c5a5c1ea576af9da96706c165f66b1cd1 100755 --- a/html/kernel.html +++ b/html/kernel.html @@ -2,6 +2,7 @@ layout: feature css: plugin title: Kernel & Plugins - Frama-C +description: Description of the Frama-C analysis platform core features. active: kernel --- diff --git a/html/overview.md b/html/overview.md index 1c30b107d1f372fcc16fc1d86629473e512a8e53..6bd6d02ad29fda3e27afdcecf71fa57126232acd 100644 --- a/html/overview.md +++ b/html/overview.md @@ -1,6 +1,7 @@ --- layout: overview_page title: Overview - Frama-C +description: Quick description of Frama-C, the C programs analysis platform. video: "https://www.youtube-nocookie.com/embed/WBXPDfz2u1c" --- diff --git a/html/publications.html b/html/publications.html index 983ab16f5a9f312fa86d0e98181a5518c5b895ce..22c9c0ad9f3cbb9add701f4a8ac29424615cfe16 100644 --- a/html/publications.html +++ b/html/publications.html @@ -1,6 +1,7 @@ --- layout: default title: Publications +description: Access to all publications related to the Frama-C analysis platform, including research papers, tutorials, technical reports and user manuals. css: publications --- <body class="page nonTouch"> diff --git a/html/teaching.html b/html/teaching.html index 3612b0a80c16705931ebf51da1cfcad6c6ceb219..7f34e8093953a35c0193b3f1797090f7b71ee74c 100644 --- a/html/teaching.html +++ b/html/teaching.html @@ -1,6 +1,7 @@ --- layout: default title: Teaching +description: Teaching resources, lecture notes and exercises related to the Frama-C analysis platform. css: publications --- diff --git a/html/tutorials.html b/html/tutorials.html index 6b16d49e02ce5f35904718cd7c00b8642c3fc63e..26c3270a2f60916934c45167cb9ea0f604ee8c4a 100644 --- a/html/tutorials.html +++ b/html/tutorials.html @@ -1,6 +1,7 @@ --- layout: default title: Tutorials +description: Learn how to use the Frama-C analysis platform with these tutorials. css: publications --- diff --git a/index.html b/index.html index 3beec3218cd74cd86abad0e3bfdb006d71a4f24a..41d8a6e8579c5f3163a532a913ae6d8604484abe 100755 --- a/index.html +++ b/index.html @@ -1,7 +1,9 @@ --- css: home layout: default -title: Frama-C +title: Frama-C - Framework for Modular Analysis of C programs +description: "Frama-C - An open-source extensible and collaborative platform + dedicated to source-code analysis of C software." --- <link rel="stylesheet" href="/assets/css/swiper.css">