diff options
author | Michał Górny <mgorny@gentoo.org> | 2022-09-08 10:05:26 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2022-09-08 13:14:34 +0200 |
commit | efdb4d5651d07ff760abbf5067d1662ea4885cf2 (patch) | |
tree | 33e761a14ebe79a5b3c5cf216785335985c3a828 /glep-0074.rst | |
parent | glep-0074: Link OpenPGP to RFC 4880 (diff) | |
download | glep-efdb4d5651d07ff760abbf5067d1662ea4885cf2.tar.gz glep-efdb4d5651d07ff760abbf5067d1662ea4885cf2.tar.bz2 glep-efdb4d5651d07ff760abbf5067d1662ea4885cf2.zip |
glep-0074: Clearly indicate that top-level Manifest is not listed
Make it clear that the top-level Manifest is not verified through itself
or other Manifests, and should not be explicitly listed in IGNORE.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'glep-0074.rst')
-rw-r--r-- | glep-0074.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/glep-0074.rst b/glep-0074.rst index 1005f85..0ce7baf 100644 --- a/glep-0074.rst +++ b/glep-0074.rst @@ -109,8 +109,9 @@ of specific files and directories (recursively): 3. using names starting with a dot (``.``) which are always skipped. -All files that are not ignored must be covered by at least one -of the Manifests. +The top-level Manifest is skipped implicitly and it is an error to list +it in Manifest files. All remaining files that are not ignored must +be covered by at least one of the Manifests. A single file may be matched by multiple identical or equivalent Manifest entries, if and only if the entries have the same semantics, |