Fixes plugins description

_fc-plugins/report.md

@@ -13,8 +13,8 @@ unknown) of ACSL annotations present on the code under analysis. Such
 summary can be provided in different formats: plain text, CSV and JSON.
 For the latter, it is possible to provide a finer classification according
 to some user-provided rules. This is mainly intended to be used in conjunction
-with the [WP](wp.html) plug-in, and is thus documented in
-the [WP manual](/download/frama-c-wp-manual.pdf).
+with the [WP](wp.html) plug-in, and is documented in
+the [WP manual](/download/frama-c-user-manual.pdf).
 
 ## Usage
 

_fc-plugins/variadic.md

@@ -4,7 +4,6 @@ title: Variadic
 description: Variadic simplifies variadic functions for other plug-ins.
 key: code
 distrib_mode: main
-manual_pdf: /download/frama-c-user-manual.pdf
 ---
 
 ## Overview
@@ -107,4 +106,4 @@ Information about the plug-in is available via its help option:
     frama-c -variadic-help
 
 Variadic has no dedicated user manual; its usage is presented in the
-[Frama-C user manual]({{page.manual_pdf}}).
+[Frama-C user manual](/download/frama-c-user-manual.pdf).