<div dir="ltr"><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_extra"><br><div class="gmail_quote">On 18 July 2016 at 22:25, Werner LEMBERG <span dir="ltr"><<a href="mailto:wl@gnu.org" target="_blank">wl@gnu.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
> However I think those pdfs without embedded fonts are rather<br>
> useless.<br>
<br>
</span>Not at all. The lilypond documentation has a case where PDFs without<br>
fonts would be extremely valuable (we haven't implemented this yet,<br>
however).<br>
<br>
. For the documentation (in texinfo format), lilypond creates<br>
thousands of small PDFs that get included into the main PDF. All<br>
those files use the same small set of music fonts again and again.<br>
<br>
. If the small PDFs don't contain fonts it would be possible that<br>
pdftex includes the necessary fonts only once while building the<br>
master PDF.<br>
<br>
. If the small PDFs contain subsetted fonts, pdftex must include<br>
them as-is, enormously increasing the output file size.<br>
<br>
. We currently suppress creation of subfonts in the small PDFs to<br>
get a small output file size. However, this leads to an<br>
incredible waste of disk space while building the documentation<br>
(we speak of a few gigabytes).<br></blockquote><div><br></div><div><br></div><div><div class="gmail_default" style="font-size:small;display:inline">can you provide a minimal example demonstrating the problem?</div></div><div><div class="gmail_default" style="font-size:small;display:inline"><br></div></div><div><div class="gmail_default" style="font-size:small;display:inline">pdftex can merge Type1 subfonts in included pdfs.</div></div><div><div class="gmail_default" style="font-size:small;display:inline"><br></div></div><div><div class="gmail_default" style="font-size:small;display:inline">Thanh </div></div><div><div class="gmail_default" style="font-size:small;display:inline"></div> </div></div></div></div>