Dateien Konvertieren ffmpeg – Audio & Video decodieren, encodieren und konvertieren Konvertieren mit Pandoc – HTML, PDF, Markdown, ODT… Konvertierung: Von Asciidoc zu PDF