Am 19.09.2017 um 04:12 schrieb William Bader:
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
I checked pdfsizeopt more than once. Unfortunately it never worked as expected. Knut _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
