Конвертируем djvu в pdf в Mac OS (djvu2pdf)

Неожиданно достаточно большой проблемой оказалась конвертация под Маком нечитаемого нигде djvu в общеупотребимый pdf. Есть несколько программ читалок этого формата для Макоси, но MacDjView вообще не умеет печатать (соответствующие пункт в меню не активен), плагины для браузеров у меня нормально не заработали, а у DjView.app свое меню печати, и "Сохранить в pdf" в нем не работает. У DjView.app есть еще пункт "Сохранить в файл", сохраняющий в .ps, но получающиеся файлы стандартным макосевским просмотрщиком не открываются. Лечится это просто - нужно в пункте "PostScript" выбрать "оттенки серого", вместо цветного формата, а уровень языка поставить "1", тогда полученные .ps файлы спокойно конвертируются просмотрщиком в pdf и этот pdf уже можно сохранять.



Вроде бы ничего сложного, но я мучаюсь перед каждой сессией, так что решил наконец законспектировать решение, чтобы потом опять не искать нужную программу.

Djvu.app находится здесь.