diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 01:24:50 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 18:20:25 +0200 |
| commit | 63eb4a2a91af8d0a3801bb542f73fd21ecfc9a9e (patch) | |
| tree | 0154b9b3defe19741d18dd444e73b7f097d52532 /gnu/bootloader/grub.scm | |
| parent | 5c549f2eacae292b2349726d2f8f1de2d676cbd1 (diff) | |
| download | patches-63eb4a2a91af8d0a3801bb542f73fd21ecfc9a9e.tar patches-63eb4a2a91af8d0a3801bb542f73fd21ecfc9a9e.tar.gz | |
gnu: ghostscript: Make XMP UUID headers optional, depending on environment variable.
* gnu/packages/patches/ghostscript-no-header-uuid.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ghostscript.scm (ghostscript): Use it.
Diffstat (limited to 'gnu/bootloader/grub.scm')
0 files changed, 0 insertions, 0 deletions