\pdffilesize and spaces
karl at freefriends.org
Sat Oct 19 00:30:26 CEST 2019
filename = gettexstring(s);
filename = makecfilename(s);
The comment on gettexstring is:
#ifdef XeTeX /* the string pool is UTF-16 but we want a UTF-8 string */
gettexstring (strnumber s)
And then it plays around with the bytes.
So evidently we can't just use gettexstring.
However, I don't see where spaces get removed in makecfilename.
Looks like only quotes. -k
More information about the tex-live