diff options
| -rw-r--r-- | doc/darcs.html | 1 | ||||
| -rw-r--r-- | doc/darcs.txt | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index 5e4f98c6e..4df7bf99c 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -160,6 +160,7 @@ system to make it possible for you to push changes to the main repository. To fix this, log in to your Chalmers account and run: </P> <PRE> + mkdir -p $HOME/.vcs4 echo unsup >> $HOME/.vcs4/pathsetup </PRE> <P></P> diff --git a/doc/darcs.txt b/doc/darcs.txt index 1e3b629a6..a44621cc9 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -113,6 +113,7 @@ system to make it possible for you to push changes to the main repository. To fix this, log in to your Chalmers account and run: ``` +mkdir -p $HOME/.vcs4 echo unsup >> $HOME/.vcs4/pathsetup ``` |