On 7/26/2016 2:15 AM, Manlio Perillo wrote:
I have noted a problem when reading the PDF with Chromium: the anchors/links do not work.
I see what you mean. I was able to replicate the problem with Acrobat Reader on Windows 10. This seems to happen only with internal links - links to external URLs work fine.
I don't know if this is an issue with the conversion to PDF or an issue with Chromium.
It's not Chromium. This is going to be tricky to fix. I'm just using the tool chain that Scott and Ben set up. I've found other issues too that will be hard to resolve. Thanks for the report. I guess for now the best thing to do is to use the HTML version. Jon -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html