Project

General

Profile

Bug #1064

Man page should install in mandir/man1, not in just mandir

Added by Benny Lyne Amorsen - over 12 years ago. Updated over 12 years ago.

Status:
Rejected
Priority:
Low
Assignee:
Hein Rigolo
Category:
General
Target version:
2.13
Start date:
2012-07-30
Due date:
% Done:

0%

Estimated time:
Found in version:
2.12.99
Affected Versions:

Description

Right now tvheadend.1 is installed in ${mandir}/tvheadend.1. I believe it should be ${mandir}/man1/tvheadend.1

History

#1

Updated by Hein Rigolo over 12 years ago

  • Status changed from New to Rejected

this was solved with this revision:
commit:d4005c68

So if you build from a recent GIT version ... you should have it installed in the right place

#2

Updated by Benny Lyne Amorsen - over 12 years ago

If you run configure --mandir=/usr/share/man you get the man page installed in /usr/share/man/tvheadend.1, not /usr/share/man/man1/tvheadend.1. I just did a new clone to make sure I have the latest version.

It probably works if you do not specify mandir on the configure line, but that makes it difficult for packagers. Red Hat / Fedora %configure automatically sets the appropriate paths.

A similar problem happens if you specify datadir; tvheadend is not appended, and so files are installed in e.g. /usr/share/src/webui/ rather than /usr/share/tvheadend/src/webui/

Currently I am working around the problems by doing:

configure --release --mandir={_mandir}/man1 --datadir=%{_datadir}/tvheadend

Also available in: Atom PDF