remove build of Doxygen LaTeX documentation
For the time being Doxygen generates HTML and LaTeX documentation. Generating LaTeX documentation should be removed.
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
Please migrate repositories to https://gitea.psi.ch - if you need help, contact gitea@psi.ch
For the time being Doxygen generates HTML and LaTeX documentation. Generating LaTeX documentation should be removed.