diff options
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. |