[Gretl-users] error pdfdocs command when building Gretl from git