diff options
authorAvatar Richard Brown <rbrown@exherbo.org> 2008-06-12 12:00:09 +0000
committerAvatar Fernando J. Pereda <ferdy@ferdyx.org> 2008-06-14 12:37:56 +0000
commit5c8ef002cd1268509d23c1597a06e3f5bb7eb5d9 (patch)
parent473fb318eea2c812ffafd874b210aef84e022c7c (diff)
Docs tweak
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/configuration/repositories.html.part.in b/doc/configuration/repositories.html.part.in
index 50bc5e7..8485b6e 100644
--- a/doc/configuration/repositories.html.part.in
+++ b/doc/configuration/repositories.html.part.in
@@ -21,7 +21,7 @@ prepended to each individual file.</p>
<p>The following keys are predefined. They should not be modified.</p>
- <dt>root</dt>
+ <dt><code>root<code></dt>
<dd>The filesystem root. Relevant if <code>specpath.conf</code> is in use. Using this variable can create a
configuration system that works both inside and outside of a chroot (e.g. <code>location =
@@ -32,11 +32,11 @@ prepended to each individual file.</p>
<p>The following keys are meaningful for all repository formats.</p>
- <dt>format</dt>
+ <dt><code>format</code></dt>
<dd>Determines which repository class Paludis uses to create the repository. Example formats are
<code>ebuild</code>, <code>vdb</code> and <code>installed_unpackaged</code>. Mandatory.</dd>
- <dt>importance</dt>
+ <dt><code>importance</code></dt>
<dd>Must be an integer. Used by Paludis to determine from which repository a package should be selected, all other
things being equal (a higher importance is preferred over a lower importance). By default, <code>0</code>, except
if the <code>master_repository</code> key is set, in which case it is <code>10</code> instead.</dd>