[PD] Pager in documentation

[Xavier Miller]

Hello,

I use Pd-extended 0.42.5 in Windows and Gentoo Linux. In Windows,
there is an intro documentation (in Manuals / 0. Intro), but I don't
see that entry and/or pager in the Gentoo Linux version.

Is there a configure option to enable that intro manual?
I found it very interesting and would be able to read it also in Linux.

Kind regards,
Xavier Miller.