diff options
author | 2019-07-02 06:29:23 +0000 | |
---|---|---|
committer | 2019-07-02 06:29:23 +0000 | |
commit | 50fa2811974abf0f3e8e9aa727b3a8e5c22ac9ac (patch) | |
tree | 68e51dc90181ee05ce0a5ef2eed253f695528f70 | |
parent | dec76c1e13dcc67728f163eacdc4db6bf4f257aa (diff) | |
download | paludis-50fa2811974abf0f3e8e9aa727b3a8e5c22ac9ac.tar.gz paludis-50fa2811974abf0f3e8e9aa727b3a8e5c22ac9ac.tar.xz |
Documentation: Added example to `world` file location.
-rw-r--r-- | doc/configuration/general.html.part.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/configuration/general.html.part.in b/doc/configuration/general.html.part.in index abaefd464..caabbcb0d 100644 --- a/doc/configuration/general.html.part.in +++ b/doc/configuration/general.html.part.in @@ -9,7 +9,7 @@ file, and may optionally be in bash format.</p> <dl> <dt><code>world</code></dt> - <dd>The location of the world file.</dd> + <dd>The location of the world file (e.g. <code>world=${root}/var/db/paludis/repositories/installed/world</code>).</dd> <dt><code>reduced_username</code></dt> <dd>If set, Paludis will use this username rather than <code>paludisbuild</code> when a reduced privilege user is |