HTML exportieren…
Die Arbeitsdatei wird in eine Zieldatei umgewandelt und zum Speichern angeboten.
Dafür wird die Markdown-Konvertierung mit den dafür geltenden Rahmenbedingungen aufgerufen.
„HTML exportieren“ bezieht sich auf die Konvertierung des Markdowns in der Arbeitsdatei.
Das fertige Ergebnis kann abhängig von der Layout-Datei und Funktionen ein beliebiges Format haben.