Gibt es eine Möglichkeit, PDFs stapelweise zu exportieren, anstatt sie einzeln durchzugehen und als PDF zu exportieren? Ich dachte, es muss ein Dienstprogramm geben, das ich vom Terminal aus ausführen kann.
Dies dient dazu, ein Problem mit der Vorschau zu umgehen, bei dem einige Probleme bei der Anzeige nicht gerenderter Gleichungen auftreten. Wenn ich die PDF-Datei aus der Vorschau exportiere, treten keine Probleme bei der Anzeige auf.