unreproducible here, relevant part: ... make[4]: ingresso nella directory "/tmp/doxygen-1.8.13/build" [100%] Generating Doxygen Manual PDF. cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/cmake -E remove refman.tex cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/cmake -E copy /tmp/doxygen-1.8.13/build/doc/doxygen_manual.tex . cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/cmake -E copy /tmp/doxygen-1.8.13/build/doc/manual.sty . cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/epstopdf /tmp/doxygen-1.8.13/doc/doxygen_logo.eps --outfile=doxygen_logo.pdf cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/pdflatex -shell-escape doxygen_manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) \write18 enabled. entering extended mode (./doxygen_manual.tex LaTeX2e <2018-12-01>
cd /tmp/doxygen-1.8.13/build/latex && /usr/bin/makeindex doxygen_manual.idx ... Paolo
