Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 287112 - dev-util/git: info pages are never installed
Summary: dev-util/git: info pages are never installed
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All All
: High enhancement (vote)
Assignee: Robin Johnson
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-09-30 15:54 UTC by Jonas Bernoulli
Modified: 2009-10-22 20:04 UTC (History)
2 users (show)

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


Attachments
install info pages with USE="doc" (manpage.patch.patch,412 bytes, patch)
2009-09-30 15:56 UTC, Jonas Bernoulli
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Jonas Bernoulli 2009-09-30 15:54:17 UTC
Info pages are not installed though they are build with USE="doc".

Reproducible: Always

Steps to Reproduce:
1. USE="doc" emerge git
2. info git
3. No menu item `git' in node `(dir)Top'.

Actual Results:  
info pages not installed

Expected Results:  
info pages should be installed with USE="doc"

As a side note: should USE="doc" really install html and info? what about pdf? Maybe seperate useflags would be better.
Comment 1 Jonas Bernoulli 2009-09-30 15:56:10 UTC
Created attachment 205685 [details, diff]
install info pages with USE="doc"

I used 'make install-info'; you might want to use doinfo instead.
Comment 2 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2009-10-11 17:24:45 UTC
They are NOT pre-built by upstream in the normal releases, so I'm not sure what path we should take for them.

If we start building info docs for the non-9999 ebuilds, then we might as well build the html too?

Installing info+html with USE=doc is consistent with other parts of Gentoo.
Comment 3 Jonas Bernoulli 2009-10-13 16:16:02 UTC
Well, I care more about the two other git bugs I recently reported and which have been fixed already. I just stumbled over this when reporting 287104 and 287101.

I don't care much if you install only html or only info or both, are provide a method to freely choose any one of these options. The only thing that is clearly wrong is to install none.

So if the Gentoo way is to install both then do so. But I think that a user won't very often be interested in both html and info. Installing both will make it a little wrong eight way. Installing just one is very wrong if the user is interested in the other.

I think the two valid options are to either install both or provide different flags to select independently.

doc-->html
docinfo-->info

info (seams to be:) Provides a comprehensive overview of the server configuration
Comment 4 Sebastian Pipping gentoo-dev 2009-10-18 17:25:12 UTC
(In reply to comment #2)
> If we start building info docs for the non-9999 ebuilds, then we might as well
> build the html too?

What would be the advantage of that?


> Installing info+html with USE=doc is consistent with other parts of Gentoo.

I second for this approach.
Comment 5 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2009-10-19 02:07:39 UTC
(In reply to comment #4)
> (In reply to comment #2)
> > If we start building info docs for the non-9999 ebuilds, then we might as well
> > build the html too?
> What would be the advantage of that?
One less download only.
Comment 6 Sebastian Pipping gentoo-dev 2009-10-22 16:46:29 UTC
Let me propose this:
- Always build info files for USE=doc
- Add missing dependency on texinfo
- Build PDF for USE=doc-pdf (as it involves LaTeX dependencies)

Please give me green to go for it.
Comment 7 Sebastian Pipping gentoo-dev 2009-10-22 20:04:29 UTC
Should be fixed in 1.6.5.1-r1 now.