Mike Frysinger wrote:

the configure.ac has this line: # Installation directories. AC_SUBST([docdir], ['${datadir}/doc/ppl'])

this is pointless as autoconf itself already sets up docdir and exports it with this default value. plus, this setting breaks customization with the configure --docdir option.

the fix is easy: just delete those two lines from configure.ac

Thanks Mike. This will be fixed in PPL 0.10.1. All the best,

Roberto