Archives
Archives
| From: | Ulrich Mueller <ulm@g.o> | ||
|---|---|---|---|
| To: | gentoo-pms@l.g.o | ||
| Subject: | Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs. | ||
| Date: | Tue, 03 Nov 2015 19:44:41 | ||
| Message-Id: | 22073.3749.724788.173600@a1i15.kph.uni-mainz.de | ||
| In Reply to: | Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs. by David Leverton |
||
| 1 | >>>>> On Tue, 3 Nov 2015, David Leverton wrote: |
| 2 | |
| 3 | >> +\begin{algorithm} |
| 4 | >> +\caption{\t{einstalldocs} logic} \label{alg:einstalldocs} |
| 5 | >> +\begin{algorithmic}[1] |
| 6 | >> +\STATE save the value of the install directory for \t{dodoc} |
| 7 | >> +\STATE call \t{docinto .} \COMMENT{sets the directory to \t{/usr/share/doc/\$\{PF\}}} |
| 8 | |
| 9 | > Am I right in thinking that this creates /usr/share/doc/${PF} even |
| 10 | > if there end up being no docs to install? |
| 11 | |
| 12 | Indeed. Thanks for catching this. |
| 13 | |
| 14 | Ulrich |
| Subject | Author |
|---|---|
| Re: [gentoo-pms] [PATCH 19/22] EAPI 6 has einstalldocs. | Ulrich Mueller <ulm@g.o> |