public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
Search results ordered by [date|relevance]  view[summary|nested|Atom feed]
thread overview below | download: 
* Re: [gentoo-dev] RFC: deprecate /usr/share/doc/$PF
  @ 2011-12-21  1:44 99%     ` Maciej Mrozowski
  0 siblings, 0 replies; 1+ results
From: Maciej Mrozowski @ 2011-12-21  1:44 UTC (permalink / raw
  To: gentoo-dev

[-- Attachment #1: Type: Text/Plain, Size: 2110 bytes --]

On Monday 19 of December 2011 02:52:54 Alexandre Rostovtsev wrote:
> On Mon, 2011-12-19 at 01:08 +0100, Ulrich Mueller wrote:
> > [Why are there different Reply-To: headers in -dev and in -pms MLs?
> > Following up to both lists.]
> 
> I apologize for the mess; I had intended to bring the question up before
> a wider audience, but failed to think through the consequences of two
> mailing lists ending up in the reply-to.
> 
> For the sake of keeping discussion in one thread, I ask that further
> replies should be made to gentoo-dev, not gentoo-pms.
> 
> > How do you handle FEATURES="nodoc" if you spread the documentation all
> > over the filesystem? Should Portage learn about all the special cases?
> > IMHO it would make more sense to leave the documentation under
> > /usr/share/doc and either configure the documentation viewer to find
> > it there, or (if that's not possible) create symlinks.
> 
> It's not "all over the filesystem"; in practice, the number of locations
> I believe is fairly small (/usr/share/gtk-doc and /usr/lib/monodoc for
> API documentation, and /usr/share/help, /usr/share/omf,
> and /usr/share/doc/HTML for end-user help files are the only ones that I
> know of), and adding them to portage's nodoc list seems much easier than
> editing hundreds of ebuilds that already install docs there.
> 
> Documentation in Gentoo-specific /usr/share/doc subdirectories would not
> be able to link to documentation pages in other packages without
> fragile, hard-to-maintain scripts - and even with the best scripts,
> things would break on package renames. Symlinks could work, but (if the
> nodoc situation is resolved) would give package maintainers extra work
> for no real benefit.
> 
> > Can we please avoid the bloat of another directory level here?
> > ${CATEGORY}/${PN} will be even longer than ${PF} in most cases.
> 
> The problem is that ($PN, $CATEGORY) pairs are not unique.

I still think we should even make PN an unique identifier in order to be able 
to purge categories... that's different story though...

-- 
regards
MM

[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

^ permalink raw reply	[relevance 99%]

Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2011-12-18 21:49     [gentoo-dev] RFC: deprecate /usr/share/doc/$PF Alexandre Rostovtsev
2011-12-19  0:08     ` Ulrich Mueller
2011-12-19  1:52       ` Alexandre Rostovtsev
2011-12-21  1:44 99%     ` Maciej Mrozowski

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox