>> In case you are forced to use 9.56.1, add `-dNEWPDF=false` to the >> gs command line options (in file `Documentation/GNUmakefile`) to >> make gs use the old PDF engine, which produces good results. > > So this is about the post-processing step with extractpdfmark + gs, > right?
Yes – I always build the documentation with 'extractpdfmark'; maybe this gs bug doesn't show up otherwise. Werner