diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 5fca38639b97f1d96944df9159d7f618fe971dc6..57062c5beade9c907c7a609447897f4d4b1a9aa0 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
 ---