commit: afd6eb1938cb5a9b53d8f0965c5cd8bb10515273
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Wed Aug 30 15:51:21 2017 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Wed Aug 30 15:51:21 2017 +0000
URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=afd6eb19
Delete redundant sentence in at-most-one-of dependency.
An empty group will automatically fulfill the condition of "at most
one immediate child element", therefore no special provision for an
empty group is necessary here.
dependencies.tex | 2 --
1 file changed, 2 deletions(-)
diff --git a/dependencies.tex b/dependencies.tex
index d9a6f1a..21eeba5 100644
--- a/dependencies.tex
+++ b/dependencies.tex
@@ -158,8 +158,6 @@ at-most-one-of group for match purposes.
In an at-most-one-of group, at most one immediate child element must be
matched.
-An empty at-most-one-of group counts as being matched.
-
\subsection{Package dependency specifications}
A package dependency can be in one of the following base formats. A package
manager must warn or
