Danny Milosavljevic <dan...@scratchpost.org> skribis: > * gnu/packages/patches/ghostscript-no-header-id.patch: New file. > * gnu/local.mk (dist_patch_DATA): Add it > * gnu/packages/ghostscript.scm (ghostscript): Use it.
[...] > diff --git a/gnu/packages/patches/ghostscript-no-header-id.patch > b/gnu/packages/patches/ghostscript-no-header-id.patch > new file mode 100644 > index 000000000..1e49921ad > --- /dev/null > +++ b/gnu/packages/patches/ghostscript-no-header-id.patch Please include a description of what the patch does and what its upstream status is (you can write that it was not submitted upstream but that similar patches were discussed, linking to this bug and upstream URLs.) > +Nur in gnu-ghostscript-9.14.0/devices/vector: gdevpdf.c.orig. Extra line. :-) I haven’t tested the patch, but if you can confirm that ps2pdf still generates valid PDF files after this change, both with and without UUIDs, then that’s fine with me. Thank you! Ludo’.