diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-10-03 23:04:32 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-10-03 23:04:32 +0200 |
| commit | ef1f9acf470e1871395daf18ce5d1c58d87f2ab0 (patch) | |
| tree | 70ca22e8a869f6caa16b3668ff3f7168d1a092b9 /gnu/packages/java.scm | |
| parent | 7d99f015acb2611bca9f42f2d04cae68ef52aba3 (diff) | |
gnu: azr3: Fix build.
Fixes <https://bugs.gnu.org/32698>.
* gnu/packages/audio.scm (azr3)[arguments]: Add build phase to reset timestamp
of man page source.
Diffstat (limited to 'gnu/packages/java.scm')
0 files changed, 0 insertions, 0 deletions