diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-13 15:17:57 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-13 15:17:57 +0000 |
| commit | 95b49f804456cf532e61478d7f604aed381173d7 (patch) | |
| tree | bcb4a97c21ea8469329e24c3435f108e152890a3 /doc/manual/installation.xml | |
| parent | 68022552d295e5a223b87a1a96814fd2586350ed (diff) | |
* Manual updates.
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 7d8821d47..bec9ebb21 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 |