diff options
| -rw-r--r-- | doc/darcs.html | 6 | ||||
| -rw-r--r-- | doc/darcs.txt | 6 |
2 files changed, 4 insertions, 8 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index 4df7bf99c..0de04ed4b 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -197,10 +197,8 @@ Chalmers system): <P></P> <P> This sets up an alias <CODE>gfreposerver</CODE> for the server we use -for the Darcs repository. Note that you really need to use -<CODE>momo.medic.chalmers.se</CODE> (or some other server with the new Linux system) -since we need to have a server with Darcs 1.0.4. If you use some server -with an earlier Darcs version you can mess up the repository. +for the Darcs repository. +Note that <B>you really need to use <CODE>momo.medic.chalmers.se</CODE></B> (or some other server with the new Linux system) since we need to have a server with Darcs 1.0.4. If you use some server with an earlier Darcs version you can mess up the repository. </P> <P> More information about the ControlMaster feature is available in diff --git a/doc/darcs.txt b/doc/darcs.txt index a44621cc9..ba81de517 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -146,10 +146,8 @@ ControlPath /tmp/ssh-gfreposerver ``` This sets up an alias ``gfreposerver`` for the server we use -for the Darcs repository. Note that you really need to use -``momo.medic.chalmers.se`` (or some other server with the new Linux system) -since we need to have a server with Darcs 1.0.4. If you use some server -with an earlier Darcs version you can mess up the repository. +for the Darcs repository. +Note that **you really need to use ``momo.medic.chalmers.se``** (or some other server with the new Linux system) since we need to have a server with Darcs 1.0.4. If you use some server with an earlier Darcs version you can mess up the repository. More information about the ControlMaster feature is available in ``man ssh_config``. |