Eine pdf-Datei daraus zu erstellen ist schon etwas tricky: ihr müsst entweder einen pdf-Druckertreiber (pdfFactory Pro o.ä.) installieren, dann jede Seite/Abschnitt separat anklicken und als pdf-Druckjob ausführen (noch nicht speichern). Wenn alle Seiten als Druckjob ausgeführt wurden, können alle Seiten als eine pdf-Datei gespeichert werden. Macht natürlich bei ca. 250 Seiten etwas Arbeit.
Alternativ jede Seite/Abschnitt als eigene pdf-Datei abspeichern und anschließend alle pdf-Dateien mit einem pdf-merge-Tool (PDFTK Builder o.ä.) zusammenführen. Manchmal ist es bei einigen Seiten/Abschnitten erforderlich, die Blattgröße/Skalierung im pdf-Druckertreiber anzupassen, da sonst Informationen abgeschnitten werden.
Ach so, es ist sinnvoll, als Druckformat A5 quer einzustellen, da die gedruckten Original-Manuals auch etwa dieses Format haben. Ihr müsst es einfach mal für euch testen.