diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-11-22 01:07:50 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-11-25 21:49:17 +0100 |
| commit | 16469f4ae464bb3ddd411294ba2f36da4b768e35 (patch) | |
| tree | 7594a9cb63ea746e1144ce683488ffecc13cc870 /glep-0074.rst | |
| parent | glep-0074: Specify slash as path separator, disallow backwards slash (diff) | |
| download | glep-16469f4ae464bb3ddd411294ba2f36da4b768e35.tar.gz glep-16469f4ae464bb3ddd411294ba2f36da4b768e35.tar.bz2 glep-16469f4ae464bb3ddd411294ba2f36da4b768e35.zip | |
glep-0074: Clarify ignoring directories
Diffstat (limited to 'glep-0074.rst')
| -rw-r--r-- | glep-0074.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/glep-0074.rst b/glep-0074.rst index 6288175..b0daa05 100644 --- a/glep-0074.rst +++ b/glep-0074.rst @@ -115,8 +115,8 @@ Manifest entries, if and only if the entries have the same semantics, specify the same size and the checksums common to both entries match. It is an error for a single file to be matched by multiple entries of different semantics, file size or checksum values. It is an error -to specify another entry for a file matching ``IGNORE``, or one of its -subdirectories. +to specify another entry for a file that matches ``IGNORE``, or that +is located inside an ignored directory. The file entries (except for ``IGNORE``) can be specified for regular files only. Symbolic links are followed when opening files |