diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-10-26 21:39:41 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-12-23 10:10:58 +0100 |
| commit | 08dc1de496d4d1845be3611837881639c16e01f0 (patch) | |
| tree | 5c5450ef75f5383bebec1c52b6091369139410bd /gnu/packages/debian.scm | |
| parent | 6c7a0ffa1a488aca768017c32771fb15e7ec713e (diff) | |
| download | guix-08dc1de496d4d1845be3611837881639c16e01f0.tar.gz guix-08dc1de496d4d1845be3611837881639c16e01f0.zip | |
gnu: gtk-doc: Remove obsolete build phase.
* gnu/packages/gtk.scm (gtk-doc)[arguments]: Remove obsolete build phase
"set-HOME".
Diffstat (limited to 'gnu/packages/debian.scm')
0 files changed, 0 insertions, 0 deletions