Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 757099 - media-sound/mpd[doc]: doman: doc/mpd.1 does not exist
Summary: media-sound/mpd[doc]: doman: doc/mpd.1 does not exist
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Mikle Kolyada (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-11-27 01:06 UTC by John Helmert III
Modified: 2020-12-16 17:15 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log (build.log,491.65 KB, text/x-log)
2020-11-27 01:06 UTC, John Helmert III
Details
0001-media-sound-mpd-fix-USE-doc.patch (0001-media-sound-mpd-fix-USE-doc.patch,1.75 KB, patch)
2020-11-27 01:45 UTC, Ionen Wolkens
Details | Diff
0001-media-sound-mpd-fix-USE-doc-v2.patch (0001-media-sound-mpd-fix-USE-doc-v2.patch,1.91 KB, patch)
2020-11-28 07:29 UTC, Ionen Wolkens
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description John Helmert III archtester Gentoo Infrastructure gentoo-dev Security 2020-11-27 01:06:57 UTC
Created attachment 675226 [details]
build.log

Building mpd 0.22.3 with USE=doc fails at `doman doc/mpd.1`.
Comment 1 Ionen Wolkens gentoo-dev 2020-11-27 01:45:31 UTC
Created attachment 675229 [details, diff]
0001-media-sound-mpd-fix-USE-doc.patch
Comment 2 Ionen Wolkens gentoo-dev 2020-11-28 07:29:55 UTC
Created attachment 675466 [details, diff]
0001-media-sound-mpd-fix-USE-doc-v2.patch

Wrongly assumed these lines were still needed, they should've been removed rather than guarded by 'use doc'