From 40ce1ec13eb6699afd7af1dc168be7b50c56329b Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Wed, 28 Oct 2020 17:14:47 +0100 Subject: [PATCH] Fixes links and content for installation --- _fc-versions/titanium.md | 2 +- html/installations/titanium.md | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/_fc-versions/titanium.md b/_fc-versions/titanium.md index e6e61d5d..ef8ebb40 100644 --- a/_fc-versions/titanium.md +++ b/_fc-versions/titanium.md @@ -11,7 +11,7 @@ releases: - name: Source distribution link: /download/frama-c-22.0-beta-Titanium.tar.gz help: Compilation instructions - help_link: /html/installations/Titanium.html + help_link: /html/installations/titanium.html - name: User manual link: /download/user-manual-22.0-beta-Titanium.pdf - name: Plugin-In development guide diff --git a/html/installations/titanium.md b/html/installations/titanium.md index 4856ca2f..2a5fdf77 100644 --- a/html/installations/titanium.md +++ b/html/installations/titanium.md @@ -1,3 +1,8 @@ +--- +layout: doc_page +title: Installation instructions for Titanium +--- + # Installing Frama-C - [Installing Frama-C](#installing-frama-c) -- GitLab