diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-04-18 23:21:42 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-05-02 17:54:01 +0200 |
commit | c74c7c13176a97c84ace3e2417456ddc561b0638 (patch) | |
tree | 45b5f0b9d14f3dd630f4685f3d3f0af618b9178e /AUTHORS | |
parent | c3052d6bcd2193b258fb92b99291a4918931fe36 (diff) |
gnu: libxslt: Make generated documentation reproducible.
* gnu/packages/patches/libxslt-generated-ids.patch: New file.
* gnu/packages/patches/libxslt-remove-date-timestamps.patch: Likewise.
* gnu/packages/xml.scm (libxslt)[source]: Use them.
* gnu/local.mk (dist_patch_DATA): Add them.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions