From 37d7d3788cf58c337b00d26d941e1556e4ed5dd8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 8 Sep 2020 16:15:38 +0200
Subject: [PATCH] clean_page becomes doc_page
---
_layouts/{clean_page.html => doc_page.html} | 2 +-
html/bug_reporting_guidelines.md | 2 +-
html/installations/aluminium.html | 2 +-
html/installations/argon.html | 2 +-
html/installations/beryllium-OSX.html | 2 +-
html/installations/beryllium-why-2.21.html | 2 +-
html/installations/beryllium-windows-20090902.html | 2 +-
html/installations/beryllium-windows.html | 2 +-
html/installations/beryllium.html | 2 +-
html/installations/boron-OSX.html | 2 +-
html/installations/boron-why-2.24.html | 2 +-
html/installations/boron-windows.html | 2 +-
html/installations/boron.html | 2 +-
html/installations/calcium.html | 2 +-
html/installations/carbon-OSX.html | 2 +-
html/installations/carbon-beta.html | 2 +-
html/installations/carbon-wp.html | 2 +-
html/installations/carbon.html | 2 +-
html/installations/chlorine.html | 2 +-
html/installations/fluorine-20130401.html | 2 +-
html/installations/fluorine-20130501.html | 2 +-
html/installations/fluorine-20130601.html | 2 +-
html/installations/helium.html | 2 +-
html/installations/hydrogen.html | 2 +-
html/installations/lithium-OSX.html | 2 +-
html/installations/lithium-windows.html | 2 +-
html/installations/lithium.html | 2 +-
html/installations/magnesium.html | 2 +-
html/installations/neon.html | 2 +-
html/installations/nitrogen-OSX-intel.html | 2 +-
html/installations/nitrogen-OSX-ppc.html | 2 +-
html/installations/nitrogen-wp.html | 2 +-
html/installations/nitrogen.html | 2 +-
html/installations/oxygen.html | 2 +-
html/installations/phosphorus.html | 2 +-
html/installations/potassium.html | 2 +-
html/installations/scandium.md | 2 +-
html/installations/silicon.html | 2 +-
html/installations/sodium.html | 2 +-
html/installations/sulfur.html | 2 +-
html/publications/2010-ensiie-vslg/ensiie2010-2011-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2011-2012-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2012-2013-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2013-2014-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2014-2015-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2015-2016-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2016-2017-ias-tp.md | 2 +-
html/publications/2010-ensiie-vslg/ensiie2017-2018-ias-tp.md | 2 +-
48 files changed, 48 insertions(+), 48 deletions(-)
rename _layouts/{clean_page.html => doc_page.html} (93%)
diff --git a/_layouts/clean_page.html b/_layouts/doc_page.html
similarity index 93%
rename from _layouts/clean_page.html
rename to _layouts/doc_page.html
index 1364c0fe..5d95a2c8 100644
--- a/_layouts/clean_page.html
+++ b/_layouts/doc_page.html
@@ -20,4 +20,4 @@ css: plugin
<div class="clear"></div>
</div>
</div>
-</body>
+
diff --git a/html/bug_reporting_guidelines.md b/html/bug_reporting_guidelines.md
index 9e172ee0..ee66048c 100644
--- a/html/bug_reporting_guidelines.md
+++ b/html/bug_reporting_guidelines.md
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Bug reporting
---
# Report an issue with Frama-C
diff --git a/html/installations/aluminium.html b/html/installations/aluminium.html
index 722e7dfb..66e53503 100644
--- a/html/installations/aluminium.html
+++ b/html/installations/aluminium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Aluminium
---
diff --git a/html/installations/argon.html b/html/installations/argon.html
index 7f759e91..a7b59846 100644
--- a/html/installations/argon.html
+++ b/html/installations/argon.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for 18.0 Argon
---
diff --git a/html/installations/beryllium-OSX.html b/html/installations/beryllium-OSX.html
index 4652908e..f6dbd52b 100644
--- a/html/installations/beryllium-OSX.html
+++ b/html/installations/beryllium-OSX.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Beryllium release
---
diff --git a/html/installations/beryllium-why-2.21.html b/html/installations/beryllium-why-2.21.html
index 74380508..444b67bc 100644
--- a/html/installations/beryllium-why-2.21.html
+++ b/html/installations/beryllium-why-2.21.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Beryllium release
---
diff --git a/html/installations/beryllium-windows-20090902.html b/html/installations/beryllium-windows-20090902.html
index e03717a4..f3dcf87e 100644
--- a/html/installations/beryllium-windows-20090902.html
+++ b/html/installations/beryllium-windows-20090902.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Beryllium release
---
diff --git a/html/installations/beryllium-windows.html b/html/installations/beryllium-windows.html
index dec4a422..85cce3a6 100644
--- a/html/installations/beryllium-windows.html
+++ b/html/installations/beryllium-windows.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Beryllium release
---
diff --git a/html/installations/beryllium.html b/html/installations/beryllium.html
index d8cfa236..572103c6 100644
--- a/html/installations/beryllium.html
+++ b/html/installations/beryllium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Beryllium release
---
diff --git a/html/installations/boron-OSX.html b/html/installations/boron-OSX.html
index 5677e553..f25ea88b 100644
--- a/html/installations/boron-OSX.html
+++ b/html/installations/boron-OSX.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Boron release
---
diff --git a/html/installations/boron-why-2.24.html b/html/installations/boron-why-2.24.html
index 7c0b8295..b99ddf28 100644
--- a/html/installations/boron-why-2.24.html
+++ b/html/installations/boron-why-2.24.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Boron release
---
diff --git a/html/installations/boron-windows.html b/html/installations/boron-windows.html
index 94f11e46..13e008cf 100644
--- a/html/installations/boron-windows.html
+++ b/html/installations/boron-windows.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Boron release
---
diff --git a/html/installations/boron.html b/html/installations/boron.html
index fa02dcb2..3faf1427 100644
--- a/html/installations/boron.html
+++ b/html/installations/boron.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Boron release
---
diff --git a/html/installations/calcium.html b/html/installations/calcium.html
index c57e8ba8..009ca3f4 100644
--- a/html/installations/calcium.html
+++ b/html/installations/calcium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Calcium
---
diff --git a/html/installations/carbon-OSX.html b/html/installations/carbon-OSX.html
index f775c935..6bb50dcb 100644
--- a/html/installations/carbon-OSX.html
+++ b/html/installations/carbon-OSX.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Carbon release
---
diff --git a/html/installations/carbon-beta.html b/html/installations/carbon-beta.html
index 887e6f60..36fc2de3 100644
--- a/html/installations/carbon-beta.html
+++ b/html/installations/carbon-beta.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Carbon beta
---
diff --git a/html/installations/carbon-wp.html b/html/installations/carbon-wp.html
index f442b71a..1fb72ed3 100644
--- a/html/installations/carbon-wp.html
+++ b/html/installations/carbon-wp.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C WP Carbon
---
diff --git a/html/installations/carbon.html b/html/installations/carbon.html
index 6cdb4509..8f259c7b 100644
--- a/html/installations/carbon.html
+++ b/html/installations/carbon.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Carbon release
---
diff --git a/html/installations/chlorine.html b/html/installations/chlorine.html
index dc62be0a..b5ff8df5 100644
--- a/html/installations/chlorine.html
+++ b/html/installations/chlorine.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Chlorine
---
diff --git a/html/installations/fluorine-20130401.html b/html/installations/fluorine-20130401.html
index 53004154..5287c4bd 100644
--- a/html/installations/fluorine-20130401.html
+++ b/html/installations/fluorine-20130401.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Fluorine
---
diff --git a/html/installations/fluorine-20130501.html b/html/installations/fluorine-20130501.html
index 11df8789..dae540f6 100644
--- a/html/installations/fluorine-20130501.html
+++ b/html/installations/fluorine-20130501.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Fluorine 2
---
diff --git a/html/installations/fluorine-20130601.html b/html/installations/fluorine-20130601.html
index 950e1d5c..08ccf4b1 100644
--- a/html/installations/fluorine-20130601.html
+++ b/html/installations/fluorine-20130601.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Fluorine 3
---
diff --git a/html/installations/helium.html b/html/installations/helium.html
index 305b276e..6ab8b334 100644
--- a/html/installations/helium.html
+++ b/html/installations/helium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Helium release
---
diff --git a/html/installations/hydrogen.html b/html/installations/hydrogen.html
index 82bd9ab5..72ee6eb0 100644
--- a/html/installations/hydrogen.html
+++ b/html/installations/hydrogen.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Hydrogen release
---
diff --git a/html/installations/lithium-OSX.html b/html/installations/lithium-OSX.html
index 71085235..acac7961 100644
--- a/html/installations/lithium-OSX.html
+++ b/html/installations/lithium-OSX.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Lithium release
---
diff --git a/html/installations/lithium-windows.html b/html/installations/lithium-windows.html
index c255bb1f..bd8e2ab6 100644
--- a/html/installations/lithium-windows.html
+++ b/html/installations/lithium-windows.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Lithium release
---
diff --git a/html/installations/lithium.html b/html/installations/lithium.html
index 8a17edcc..577cc339 100644
--- a/html/installations/lithium.html
+++ b/html/installations/lithium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Lithium release
---
diff --git a/html/installations/magnesium.html b/html/installations/magnesium.html
index a425fbbb..2b628f5d 100644
--- a/html/installations/magnesium.html
+++ b/html/installations/magnesium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Magnesium
---
diff --git a/html/installations/neon.html b/html/installations/neon.html
index 916610d1..d6a6d9b8 100644
--- a/html/installations/neon.html
+++ b/html/installations/neon.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Neon
---
diff --git a/html/installations/nitrogen-OSX-intel.html b/html/installations/nitrogen-OSX-intel.html
index e9c26f0c..85e8c07d 100644
--- a/html/installations/nitrogen-OSX-intel.html
+++ b/html/installations/nitrogen-OSX-intel.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Nitrogen release
---
diff --git a/html/installations/nitrogen-OSX-ppc.html b/html/installations/nitrogen-OSX-ppc.html
index 48e77945..1e1f24fc 100644
--- a/html/installations/nitrogen-OSX-ppc.html
+++ b/html/installations/nitrogen-OSX-ppc.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Nitrogen release
---
diff --git a/html/installations/nitrogen-wp.html b/html/installations/nitrogen-wp.html
index 5a4253ba..f57a8bb8 100644
--- a/html/installations/nitrogen-wp.html
+++ b/html/installations/nitrogen-wp.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Nitrogen release
---
diff --git a/html/installations/nitrogen.html b/html/installations/nitrogen.html
index ff9011d6..cf3aea48 100644
--- a/html/installations/nitrogen.html
+++ b/html/installations/nitrogen.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Nitrogen release
---
diff --git a/html/installations/oxygen.html b/html/installations/oxygen.html
index 2351e371..813c2c91 100644
--- a/html/installations/oxygen.html
+++ b/html/installations/oxygen.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Frama-C Oxygen release
---
diff --git a/html/installations/phosphorus.html b/html/installations/phosphorus.html
index 678bb20a..fd37292e 100644
--- a/html/installations/phosphorus.html
+++ b/html/installations/phosphorus.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Phosphorus
---
diff --git a/html/installations/potassium.html b/html/installations/potassium.html
index 02932421..049e378f 100644
--- a/html/installations/potassium.html
+++ b/html/installations/potassium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Potassium
---
diff --git a/html/installations/scandium.md b/html/installations/scandium.md
index 00a33b62..12c9f62f 100644
--- a/html/installations/scandium.md
+++ b/html/installations/scandium.md
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Scandium
---
diff --git a/html/installations/silicon.html b/html/installations/silicon.html
index 565451f3..4e80ae21 100644
--- a/html/installations/silicon.html
+++ b/html/installations/silicon.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Silicon
---
diff --git a/html/installations/sodium.html b/html/installations/sodium.html
index 80745636..26682526 100644
--- a/html/installations/sodium.html
+++ b/html/installations/sodium.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Sodium
---
diff --git a/html/installations/sulfur.html b/html/installations/sulfur.html
index d355793a..af46405c 100644
--- a/html/installations/sulfur.html
+++ b/html/installations/sulfur.html
@@ -1,5 +1,5 @@
---
-layout: clean_page
+layout: doc_page
title: Installation instructions for Sulfur
---
diff --git a/html/publications/2010-ensiie-vslg/ensiie2010-2011-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2010-2011-ias-tp.md
index 39ffc279..4573ff3a 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2010-2011-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2010-2011-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2010/2011
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de programmes - TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2011-2012-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2011-2012-ias-tp.md
index be881648..7b2e6e44 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2011-2012-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2011-2012-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2011/2012
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de programmes - TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2012-2013-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2012-2013-ias-tp.md
index 104b6835..1ba77e25 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2012-2013-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2012-2013-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2012/2013
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de programmes - TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2013-2014-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2013-2014-ias-tp.md
index 877c8709..1d83c473 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2013-2014-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2013-2014-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2013/2014
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de programmes - TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2014-2015-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2014-2015-ias-tp.md
index 645e97fe..a243bea7 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2014-2015-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2014-2015-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2014/2015
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de Programmes -- TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2015-2016-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2015-2016-ias-tp.md
index 72ec0bb5..12f25104 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2015-2016-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2015-2016-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2015/2016
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de Programmes -- TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2016-2017-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2016-2017-ias-tp.md
index a7de7390..43e549ae 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2016-2017-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2016-2017-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2016/2017
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de Programmes -- TP Frama-C
diff --git a/html/publications/2010-ensiie-vslg/ensiie2017-2018-ias-tp.md b/html/publications/2010-ensiie-vslg/ensiie2017-2018-ias-tp.md
index 3239dab4..0ea803ee 100644
--- a/html/publications/2010-ensiie-vslg/ensiie2017-2018-ias-tp.md
+++ b/html/publications/2010-ensiie-vslg/ensiie2017-2018-ias-tp.md
@@ -1,6 +1,6 @@
---
title: ENSIIE - Analyse Statique de Programmes 2017/2018
-layout: clean_page
+layout: doc_page
---
# Analyse Statique de Programmes – TP Frama-C
--
GitLab