Translations:Exporter un manuel en PDF/5/en

When you are on the manual page to export, click on the Export button at the top right.