diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-14 14:58:12 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-07-14 14:58:12 +0000 |
| commit | d413612029ee44628dea3598f3a67042acf05d50 (patch) | |
| tree | 33b609758740bcb93cb481217a3fb68b69dfa467 /doc/manual/package-management.xml | |
| parent | 1f169f43b31d02c1fad39df16bb4e61c8cb593df (diff) | |
* Remove the redundant <sections> around refentries.
Diffstat (limited to 'doc/manual/package-management.xml')
| -rw-r--r-- | doc/manual/package-management.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/package-management.xml b/doc/manual/package-management.xml index c22273ebe..387258e69 100644 --- a/doc/manual/package-management.xml +++ b/doc/manual/package-management.xml @@ -331,7 +331,7 @@ default profile, respectively. If the profile doesn’t exist, it will be created automatically. You should be careful about storing a profile in another location than the <filename>profiles</filename> directory, since otherwise it might not be used as a root of the -garbage collector (see section <xref linkend='sec-garbage-collection' +garbage collector (see <xref linkend='sec-garbage-collection' />).</para> <para>All <command>nix-env</command> operations work on the profile |