pdfsizeopt is another pdf compression tool that can eliminate duplicate fonts and can sometimes merge subset fonts. https://github.com/pts/pdfsizeopt/blob/master/lib/pdfsizeopt/main.py
________________________________ From: gs-devel <gs-devel-boun...@ghostscript.com> on behalf of Perry Hutchison <per...@pluto.rain.com> Sent: Monday, September 18, 2017 8:27 PM To: truer...@trueroad.jp Cc: gs-de...@ghostscript.com; lilypond-devel@gnu.org Subject: Re: [gs-devel] Ghostscript/GhostPDL 9.22 Release Candidate 1 Masamichi Hosoda <truer...@trueroad.jp> wrote: > >>It seems that `-dPDFDontUseFontObjectNum` option does not work. ... > There is a tool for using this method of removing duplicate fonts. > https://www.ctan.org/pkg/extractpdfmark > https://packages.debian.org/stretch/extractpdfmark > http://packages.ubuntu.com/zesty/extractpdfmark As I see it, the availability of a separate tool to do the same thing is a reason to _not_ provide a duplicate capability in Ghostscript. Those who want that processing (despite the risks that Ken mentioned) can use extractpdfmark. _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel