diff options
Diffstat (limited to 'doc/manual/installation.xml')
| -rw-r--r-- | doc/manual/installation.xml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 7d8821d4700c..bec9ebb212c1 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -26,8 +26,7 @@ </para> <screen> - $ svn checkout http://losser.st-lab.cs.uu.nl:12080/repos/trace/nix/trunk - nix</screen> +$ svn checkout http://losser.st-lab.cs.uu.nl:12080/repos/trace/nix/trunk nix</screen> <para> Likewise, specific releases can be obtained from the <ulink @@ -48,8 +47,10 @@ </para> <screen> - $ autoreconf -i $ ./configure <replaceable>options...</replaceable> $ - make $ make install</screen> +$ autoreconf -i +$ ./configure <replaceable>options...</replaceable> +$ make +$ make install</screen> <para> Currently, the only useful switch for <command>configure</command> is |