Re: [Gretl-users] about "make pdfdocs"