Исправление Linuxoid85, (текущая версия) :
Не генерировали. Генерация с помощью mkdocs и плагина к нему mkdocs-material. Впрочем, можно и с помощью того же wkhtmltopdf - тоже сносно экспортирует в PDF, но не из markdown-файлов, а из уже собранных html-ок.
Исходная версия Linuxoid85, :
Не генерировали. Генерация с помощью mkdocs и плагина к нему mkdocs-material.