25.0-Manganese release

requested review from @blanchard

Les manuels suivants n'ont pas les bonnes versions :

• acsl-implementation-25.0-Manganese.pdf
• e-acsl-manual-25.0-Manganese.pdf
• e-acsl-implementation-25.0-Manganese.pdf

Vérifier aussi les fichiers "générique", je ne sais pas pourquoi, sur GitLab, ces fichiers ne peuvent pas être téléchargés (j'ai une formation qui démarre dans 30 minutes je n'ai pas le temps de sortir la branche en local).

Il y aura aussi cette page à remplir : https://git.frama-c.com/pub/frama-c/-/releases

Ok merci d'avoir vérifié, je m'occupe du reste et j'essaie de corriger le Makefile de doc.

added 1 commit

• 1399e2e4 - Fix documentation

Compare with previous version

C'est corrigé.

mentioned in commit 83669f22

merged

mentioned in merge request !156 (merged)

mentioned in commit 6fb7da9a