10 Jul
2015
10 Jul
'15
8:33 a.m.
On Thu, Jul 9, 2015 at 3:52 AM, Reinhard Kotucha
See section 4.11.1 on page 108:
pdf.mapfile(<string> map file) pdf.mapfile(<string> map line)
I suppose that the latter function should be pdf.mapline().
Thank you for the report, it's now fixed in trunk. -- luigi