diff options
author | 2023-08-17 23:43:51 +0200 | |
---|---|---|
committer | 2023-08-17 23:43:51 +0200 | |
commit | 0a727e6cf0378dd6464a2886e2ed9f1c60813092 (patch) | |
tree | 5d42d6cd74a1abb79a631b3f9d8e0f8c688f5a72 /_sources | |
parent | Rebuild (diff) | |
download | policy-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.txt | 4 |
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. |