Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
Prboom-Plus (2.5.1.7.82) no man pages
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index Gamers & Players
View previous topic :: View next topic  
Author Message
SpiderPigLoki
Tux's lil' helper
Tux's lil' helper


Joined: 22 Aug 2008
Posts: 84

PostPosted: Sat Aug 01, 2020 9:35 am    Post subject: Prboom-Plus (2.5.1.7.82) no man pages Reply with quote

Hello everybody,

as stated in title Prboom-Plus is missing the man pages.
According to ebuild (standard masked package in portage tree, not overlay) this Github-repo is used, which contains man pages - see here: https://github.com/coelckers/prboom-plus/blob/master/prboom2/doc/prboom-plus.6

So my question is, why are the man pages not installed?
My make.conf does contain the feature "noinfo", but not "noman", which would explain the behavior.
If the use-flag "man" is globally enabled, the only packages that would be upgraded are: kde-frameworks/kpackage and dev-cpp/libcmis and I don't think they are related to Prboom-Plus.

Code:

[ebuild   R   ~] games-fps/prboom-plus-2.5.1.7.82::gentoo  USE="fluidsynth mad opengl pcre portmidi sdl2-mixer vorbis zlib -dumb -net -sdl2-image -server" 0 KiB


Cheers
SPL
Back to top
View user's profile Send private message
zackhzb
n00b
n00b


Joined: 06 Mar 2020
Posts: 3
Location: China

PostPosted: Sat Aug 01, 2020 10:14 am    Post subject: Reply with quote

The ebuild maintainer of games-fps/prboom-plus might forget to set the variables DOCS and HTML_DOCS. In the result, the man pages weren't installed.
So file a bug plz. : )
_________________
- Zh/6b6
Back to top
View user's profile Send private message
SpiderPigLoki
Tux's lil' helper
Tux's lil' helper


Joined: 22 Aug 2008
Posts: 84

PostPosted: Tue Aug 11, 2020 9:16 am    Post subject: Reply with quote

@zackhzb thanks for the answer. I have included (the relevant part) to the bug-report.

Bug report can be found here: https://bugs.gentoo.org/show_bug.cgi?id=736713
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Gamers & Players All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum