diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 00:05:21 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-07-10 18:20:16 +0200 |
| commit | 5c549f2eacae292b2349726d2f8f1de2d676cbd1 (patch) | |
| tree | 5721a79229d963f15e3652dcfb597caeb8846f09 /.gitignore | |
| parent | 9146543f8dce997c194aea93bf4c7a7a4144c8c9 (diff) | |
gnu: ghostscript: Make "/ID" optional, depending on environment variable.
* 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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions