On Sunday, 1 March 2020 18:13:00 GMT Ralph Corderoy wrote: > Why do some of the filenames in my gropdf's download file start with > ‘*/usr/share’ rather than the star-less version?
The "*" just means that the font does not need to be included in the pdf, unless the -e flag was given to gropdf, i.e. it is one of the base fonts. Cheers Deri
