Re: LilyPond | Pipeline #156017999 has failed for dev/hanwen/doc-build | 47b263b1 in !84

[James]

On 18/06/2020 09:18, Jonas Hahnfeld via Discussions on LilyPond 
development wrote:

> > Another things to consider (if you build docs locally) if to remove
> > extractpdfmark. It is extremely slow.
> Ack.

Yes but let's not do that for the PDFs we eventually use for the 
website. The size savings are worth it for users - at least from the 
feedback we had when Hosoda-san came up with this.

Maybe, if it is so slow (and I guess that is a relative term), he can 
improve it?

James