Gentoo Archives: gentoo-commits

From: "Ulrich Müller" <ulm@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/pms:master commit in: /
Date: Sat, 02 Sep 2017 17:56:37
Message-Id: 1504108281.afd6eb1938cb5a9b53d8f0965c5cd8bb10515273.ulm@gentoo
1 commit: afd6eb1938cb5a9b53d8f0965c5cd8bb10515273
2 Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
3 AuthorDate: Wed Aug 30 15:51:21 2017 +0000
4 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
5 CommitDate: Wed Aug 30 15:51:21 2017 +0000
6 URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=afd6eb19
7
8 Delete redundant sentence in at-most-one-of dependency.
9
10 An empty group will automatically fulfill the condition of "at most
11 one immediate child element", therefore no special provision for an
12 empty group is necessary here.
13
14 dependencies.tex | 2 --
15 1 file changed, 2 deletions(-)
16
17 diff --git a/dependencies.tex b/dependencies.tex
18 index d9a6f1a..21eeba5 100644
19 --- a/dependencies.tex
20 +++ b/dependencies.tex
21 @@ -158,8 +158,6 @@ at-most-one-of group for match purposes.
22
23 In an at-most-one-of group, at most one immediate child element must be matched.
24
25 -An empty at-most-one-of group counts as being matched.
26 -
27 \subsection{Package dependency specifications}
28
29 A package dependency can be in one of the following base formats. A package manager must warn or