// Package export schreibt eine über internal/render erzeugte Präsentation
// als statische Dateien auf die Platte.
//
// Zuständigkeiten:
//   - Die gerenderte HTML-Seite sowie style.css und vendor/mermaid.min.js in
//     einen Zielordner kopieren
//   - Den Dateinamen der exportierten HTML-Datei konfigurierbar machen
//   - Sicherstellen, dass das im Dev-Modus eingebundene SSE-Client-Script
//     nicht in den Export gelangt
//
// Nicht Zuständigkeit dieses Packages: das Parsen oder Rendern der Slides
// (siehe internal/parser, internal/render) sowie der Dev-Server-Betrieb
// (siehe internal/watch).
package export