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