To build the manual use

    pdflatex -shell-escape userManual
    bibtex userManual
    pdflatex -shell-escape userManual
    pdflatex -shell-escape userManual

I had problems trying to use latex and then dvipdf.

Tim Hopkins
6 Nov 2024
