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