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 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. +
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