From 72263e07bed24c5946178f3d3de729b6140eacd7 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 28 Oct 2020 15:18:58 +0100
Subject: [PATCH] Update download links of E-ACSL to use local pdf files
---
_fc-plugins/e-acsl.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 5fca3863..57062c5b 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_fc-plugins/e-acsl.md
@@ -3,14 +3,14 @@ layout: plugin
title: E-ACSL
description: Runtime Verification Tool
key: main
-manual_pdf: http://frama-c.com/download/e-acsl/e-acsl-manual.pdf
+manual_pdf: /download/e-acsl/e-acsl-manual.pdf
additional:
- name: "E-ACSL language reference manual"
short: "Language reference"
- link: http://frama-c.com/download/e-acsl/e-acsl.pdf
+ link: /download/e-acsl/e-acsl.pdf
- name: "E-ACSL language reference implementation manual"
short: "Language implementation"
- link: http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
+ link: /download/e-acsl/e-acsl-implementation.pdf
distrib_mode: main
---
--
GitLab