diff options
| -rw-r--r-- | doc/darcs.html | 5 | ||||
| -rw-r--r-- | doc/darcs.txt | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index fb6c4e970..fc7a5eecf 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -156,6 +156,11 @@ access, you can access the repository using ssh. You need to be a member of the <CODE>langtech</CODE> group to push changes to the repository. </P> +<P> +<B>Note: we seem to have some problems getting read-write access working smoothly on Windows.</B> +If you figure out how to do this, let us know. If not, you can still use read-only access, +record patches in your local repository, and send them by e-mail once in a while. +</P> <A NAME="toc9"></A> <H2>Setting up your $PATH on the Chalmers system</H2> <P> diff --git a/doc/darcs.txt b/doc/darcs.txt index 90962a6d1..cc3464097 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -106,6 +106,10 @@ access, you can access the repository using ssh. You need to be a member of the ``langtech`` group to push changes to the repository. +**Note: we seem to have some problems getting read-write access working smoothly on Windows.** +If you figure out how to do this, let us know. If not, you can still use read-only access, +record patches in your local repository, and send them by e-mail once in a while. + == Setting up your $PATH on the Chalmers system == The ``darcs`` program has to be on your ``$PATH`` on the Chalmers |