summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUlrich Müller <ulm@gentoo.org>2023-08-17 23:43:51 +0200
committerUlrich Müller <ulm@gentoo.org>2023-08-17 23:43:51 +0200
commit0a727e6cf0378dd6464a2886e2ed9f1c60813092 (patch)
tree5d42d6cd74a1abb79a631b3f9d8e0f8c688f5a72 /_sources
parentRebuild (diff)
downloadpolicy-guide-0a727e6cf0378dd6464a2886e2ed9f1c60813092.tar.gz
policy-guide-0a727e6cf0378dd6464a2886e2ed9f1c60813092.tar.bz2
policy-guide-0a727e6cf0378dd6464a2886e2ed9f1c60813092.zip
Rebuild
Manually fixed copyright line and removed Google+ from footers. Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to '_sources')
-rw-r--r--_sources/filesystem.rst.txt4
1 files changed, 4 insertions, 0 deletions
diff --git a/_sources/filesystem.rst.txt b/_sources/filesystem.rst.txt
index 52e20a3..f3b8cdf 100644
--- a/_sources/filesystem.rst.txt
+++ b/_sources/filesystem.rst.txt
@@ -27,6 +27,8 @@ directories:
- /usr
- /var
+There must be no subdirectories in /bin and /sbin.
+
Furthermore, only the following subdirectories of /usr are permitted:
.. hlist::
@@ -41,6 +43,8 @@ Furthermore, only the following subdirectories of /usr are permitted:
- /usr/src
- /usr/<triplet>
+There must be no subdirectories in /usr/bin and /usr/sbin.
+
Furthermore, within /usr/share/doc hierarchy only a subdirectory named
after full package name and version with revision (PF) is permitted.