Gentoo Archives: gentoo-pms

From: "Michał Górny" <mgorny@g.o>
To: David Leverton <levertond@××××××××××.com>
Cc: gentoo-pms@l.g.o
Subject: Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs.
Date: Tue, 03 Nov 2015 17:54:01
Message-Id: 20151103185346.6681527a.mgorny@gentoo.org
In Reply to: Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs. by David Leverton
1 On Tue, 3 Nov 2015 17:24:39 +0000
2 David Leverton <levertond@××××××××××.com> wrote:
3
4 > Ulrich Müller wrote:
5 > > +\begin{algorithm}
6 > > +\caption{\t{einstalldocs} logic} \label{alg:einstalldocs}
7 > > +\begin{algorithmic}[1]
8 > > +\STATE save the value of the install directory for \t{dodoc}
9 > > +\STATE call \t{docinto .} \COMMENT{sets the directory to \t{/usr/share/doc/\$\{PF\}}}
10 >
11 > Am I right in thinking that this creates /usr/share/doc/${PF} even if
12 > there end up being no docs to install?
13
14 I don't think any *into commands should create directories before files
15 are installed. EAPI 6 might be a good time to add such a requirement.
16
17 --
18 Best regards,
19 Michał Górny
20 <http://dev.gentoo.org/~mgorny/>

Replies

Subject Author
Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs. Ulrich Mueller <ulm@g.o>