Re: [gentoo-portage-dev] [PATCH 2/2] man/ebuild.5: Document PROPERTIES="live".

2019-07-28 Thread Zac Medico
On 7/27/19 7:38 AM, Ulrich Müller wrote: > Signed-off-by: Ulrich Müller > --- > man/ebuild.5 | 8 ++-- > 1 file changed, 6 insertions(+), 2 deletions(-) > > diff --git a/man/ebuild.5 b/man/ebuild.5 > index 31bd8f771..b002f3889 100644 > --- a/man/ebuild.5 > +++ b/man/ebuild.5 > @@ -1,4 +1,4

[gentoo-portage-dev] [PATCH 2/2] man/ebuild.5: Document PROPERTIES="live".

2019-07-27 Thread Ulrich Müller
Signed-off-by: Ulrich Müller --- man/ebuild.5 | 8 ++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/man/ebuild.5 b/man/ebuild.5 index 31bd8f771..b002f3889 100644 --- a/man/ebuild.5 +++ b/man/ebuild.5 @@ -1,4 +1,4 @@ -.TH "EBUILD" "5" "Apr 2019" "Portage VERSION" "Portage"