Quoting David Prévot (2014-07-12 22:28:18)
> Actually, this target only provides minified pdf.js and pdf.worker.js, not
> compatibility.js, so that won’t help fixing this specific issue.
correctly then it seems to concatenate compatibility.js together with some
other files? This indeed does not help. I opened an issue about this upstream:
I hope I formulated the problem correctly.
Thank you for your help!