AFAIR, we used to have pdf bookmarks, which made it easy to naviagte the manual structure, and jump to specific sections. This seems to be gone in the current manual.
I see only one difference: the would-be links are no longer blue (I liked the blue). But they did not become clickable. The reason I suspect is that the compile farm still uses dvipdfm instead of pdflatex.
And my motivation not use pdflatex anymore before was that pdflatex needs a lot of extra tools to be able to insert SVG pictures. And those extra dependencies were not installed on the compile farm machines. I guess they still aren't.
This is not fixed.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Would it make sense to keep the Makefile current behaviour (use pdflatex if available, otherwise fall back to dvipdfm) at least until this is really fixed?
Philipp
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Fixed in revision #9406.
Philipp
I see only one difference: the would-be links are no longer blue (I liked the blue). But they did not become clickable. The reason I suspect is that the compile farm still uses dvipdfm instead of pdflatex.
And my motivation not use pdflatex anymore before was that pdflatex needs a lot of extra tools to be able to insert SVG pictures. And those extra dependencies were not installed on the compile farm machines. I guess they still aren't.
This is not fixed.
Would it make sense to keep the Makefile current behaviour (use pdflatex if available, otherwise fall back to dvipdfm) at least until this is really fixed?
Philipp
I guess so, because the PDF was built, though not with links. I just wanted to make clear it wasn't fixed.
Btw. I don't quite understand why it didn't use pdflatex now, since that was what we used before as well when the picture was not getting included.
With an update of texinfo on cf-x86, the DCF machine that builds the documentation, the links now work.