diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-01 12:02:44 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-01 12:02:44 +0000 |
commit | cbe8de592d747e603c8657247d280faf5eb584a3 (patch) | |
tree | 3579b69cb4b43e10e8f5e09a414a7227edef9bba /doc/manual/installation.xml | |
parent | b05a596d61a5e062fc07380f8e6421fcfcb37f07 (diff) |
* Profiles section.
Diffstat (limited to 'doc/manual/installation.xml')
-rw-r--r-- | doc/manual/installation.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 15463a9b6..05173590f 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -204,7 +204,7 @@ variables is to include the file in your <filename>~/.bashrc</filename> (or similar), like this:</para> <screen> -. <replaceable>prefix</replaceable>/etc/profile.d/nix.sh</screen> +source <replaceable>prefix</replaceable>/etc/profile.d/nix.sh</screen> </sect1> |