diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-06 12:23:54 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-06 12:23:54 +0000 |
| commit | 54671579f56112271c9f96783d2e9e8a447e9f51 (patch) | |
| tree | 61a3091e90efd4025f6f78a3f6000cb4005dd347 /doc/darcs.txt | |
| parent | 66caf2aa65049bd9db3796625a146730527cc28b (diff) | |
After suggestion from Jordi: note that darcs pull should be done inside the local repository.
Diffstat (limited to 'doc/darcs.txt')
| -rw-r--r-- | doc/darcs.txt | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/doc/darcs.txt b/doc/darcs.txt index 56dcb7dcb..2dc0fba8f 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -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. |