From 8ee8319f86af93a057ad6ad73c9b1addf8df5574 Mon Sep 17 00:00:00 2001
From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Dec 01 2023 15:47:22 +0000
Subject: Change filepath dependency policy to "MUST NOT"


See https://pagure.io/fesco/issue/3097.

---

diff --git a/guidelines/modules/ROOT/pages/index.adoc b/guidelines/modules/ROOT/pages/index.adoc
index 7bb1c33..32d8296 100644
--- a/guidelines/modules/ROOT/pages/index.adoc
+++ b/guidelines/modules/ROOT/pages/index.adoc
@@ -845,8 +845,8 @@ Packages MAY include such dependencies for paths inside one of the following dir
 * `+/etc+`
 
 They also MAY depend on paths listed in an explicit `Provides:`.
-They SHOULD NOT include dependencies on other paths
-as that requires additional repository metadata to be downloaded.
+They MUST NOT include dependencies on other paths,
+as that would require downloading of additional repository metadata to be enabled.
 
 Please also note that it is not uncommon
 for multiple packages to provide the same directory.