diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-01-09 17:29:16 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-01-09 17:29:16 +0100 |
| commit | 192d0a5295eff64de6f6dd598bff62f34a1c10c4 (patch) | |
| tree | c277403116f5b204e401c2b8c1c2a83d25817f19 /filesystem.rst | |
| parent | USE=gui (diff) | |
| download | policy-guide-192d0a5295eff64de6f6dd598bff62f34a1c10c4.tar.gz policy-guide-192d0a5295eff64de6f6dd598bff62f34a1c10c4.tar.bz2 policy-guide-192d0a5295eff64de6f6dd598bff62f34a1c10c4.zip | |
Installed file policies
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'filesystem.rst')
| -rw-r--r-- | filesystem.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/filesystem.rst b/filesystem.rst index 4c98ba8..b0a686e 100644 --- a/filesystem.rst +++ b/filesystem.rst @@ -78,8 +78,9 @@ and packages must install libraries into appropriate directory for them to be correctly found by the dynamic loader. -.. index:: file system; static library -.. index:: file system; libtool file +.. index:: + pair: file system; static library + pair: file system; libtool file Static libraries and libtool files ---------------------------------- |