Re: [Gretl-devel] Several errors when using "make pdfdocs"