Я тяну волосы за это - и это, вероятно, две секунды исправить.
Doxygen создает великолепную документацию HTML.
Он также выдаст вывод TeX, который, согласно документации, может быть использован для создания PDF с использованием make: make pdf в папке вывода TeX.
Жалуется на отсутствие pdflatex.
Итак, я установил MacTeX.
Все-таки не повезло, и такой бинарный файл pdflatex не установлен на моей машине.
Каждый поиск в Google, который я пробовал, приводит меня к 20-летним веб-сайтам с анимированным фоном GIF, устаревшей информацией, и никто никогда не говорил мне, как установить pdflatex на мою машину.
Что мне здесь не хватает?
РЕДАКТИРОВАТЬ: теперь я понимаю, что могу использовать TeXShop, чтобы открыть файл refman.tex и создать PDF сам. Но я все еще хотел бы знать, если я что-то упустил с pdflatex - поскольку я все еще хотел бы иметь возможность генерировать PDF автоматически.