diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-07-09 16:40:59 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-07-09 17:07:39 +0200 |
| commit | a20608a57a7944376b53bc68cfaef6c3229b2321 (patch) | |
| tree | 4f190c55200e3e99e6d1da74e75593cb3b4920b8 /gnu/packages/php.scm | |
| parent | b81dd94a790636fea9ac59ad1c63d78420fad54a (diff) | |
gnu: gtk-doc: Fix dblatex problem.
* gnu/packages/gtk.scm (gtk-doc)[arguments]: Add phase "set-HOME".
Diffstat (limited to 'gnu/packages/php.scm')
0 files changed, 0 insertions, 0 deletions