1 |
On Tue, 20 Aug 2013 13:01:34 +0200 |
2 |
Michał Górny <mgorny@g.o> wrote: |
3 |
|
4 |
> 3. Support DOCS=() / DOCS='' to disable dodoc |
5 |
> |
6 |
> https://bugs.gentoo.org/show_bug.cgi?id=463736 |
7 |
> |
8 |
> Well, this one is mostly what the bug is about. I think we should just |
9 |
> do it. Implementation could be discussed a bit though. |
10 |
> |
11 |
> For example, hasufell has suggested checking ${DOCS// /} to support |
12 |
> DOCS=' ' as well. IMO we shouldn't be supporting such a weird |
13 |
> mistakes. |
14 |
> |
15 |
|
16 |
See https://bugs.gentoo.org/show_bug.cgi?id=481664 |
17 |
|
18 |
This is already allowed if one reads PMS the way that makes it work. |