After suggestion from Jordi: note that darcs pull should be done inside the local repository.

This commit is contained in:
bringert
2005-12-06 12:23:54 +00:00
parent 66caf2aa65
commit 54671579f5
2 changed files with 21 additions and 7 deletions

View File

@@ -1,12 +1,15 @@
GF Darcs repository
GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.
Author: Björn Bringert <bringert@cs.chalmers.se>
Last update: %%date(%c)
% NOTE: this is a txt2tags file.
% Create an html file from this file using:
% txt2tags -t html --toc darcs.txt
%!target:html
%!options(html): --toc
**GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.**
= What is darcs? =
@@ -58,12 +61,15 @@ need to run ``autoconf`` before ``configure``.
== Updating your copy ==
Get all new patches from the main repo:
To get all new patches from the main repo:
```
$ darcs pull -a
```
This can be done anywhere in your local repository, i.e. in the ``GF``
directory, or any of its subdirectories.
Without ``-a``, you can choose which patches you want to get.