On Tuesday, 27 January 2026 19:33:03 GMT G. Branden Robinson wrote: > At 2026-01-27T20:25:48+0100, Bruno Haible wrote: > > All tests pass on > > > > Ubuntu 20.04 > > > > Configuring with --without-urw-fonts, all tests pass on > > > > CentOS 8-stream > > CentOS Stream 9 > > Manjaro 23 > > Good news! > > > However, one nit: On Manjaro 23, there is an empty directory named > > '_Inline' created in the user's home directory. It's a little negative > > surprise. > > Huh! There's one lurking in my $HOME, too--I never noticed! It's dated > 29 December 2024, so not due to a recent change. > > > I guess it comes from src/devices/gropdf/gropdf.pl ? > > Deri, any idea what this is about? > > Does this have to do with the optimized font subsetting feature (written > in C, IIRC)? > > It's kind of gross to litter the user's home directory like this. :( > > Regards, > Branden
Hi Branden, The information is at the top of page 3 of this document you have seen several times. Cheers Deri
NewGropdf.pdf
Description: Adobe PDF document
