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 | |
| parent | 66caf2aa65049bd9db3796625a146730527cc28b (diff) | |
After suggestion from Jordi: note that darcs pull should be done inside the local repository.
| -rw-r--r-- | doc/darcs.html | 14 | ||||
| -rw-r--r-- | doc/darcs.txt | 14 |
2 files changed, 21 insertions, 7 deletions
diff --git a/doc/darcs.html b/doc/darcs.html index 2af1caff8..b45dd38f3 100644 --- a/doc/darcs.html +++ b/doc/darcs.html @@ -6,7 +6,8 @@ </HEAD><BODY BGCOLOR="white" TEXT="black"> <P ALIGN="center"><CENTER><H1>GF Darcs repository</H1> <FONT SIZE="4"> -GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on. +<I>Author: Björn Bringert <bringert@cs.chalmers.se></I><BR> +Last update: Tue Dec 6 13:23:38 2005 </FONT></CENTER> <P></P> @@ -54,6 +55,9 @@ GF has now been moved to a Darcs repository. No changes should be committed to t <P></P> <HR NOSHADE SIZE=1> <P></P> +<P> +<B>GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.</B> +</P> <A NAME="toc1"></A> <H1>What is darcs?</H1> <P> @@ -107,13 +111,17 @@ need to run <CODE>autoconf</CODE> before <CODE>configure</CODE>. <A NAME="toc5"></A> <H2>Updating your copy</H2> <P> -Get all new patches from the main repo: +To get all new patches from the main repo: </P> <PRE> $ darcs pull -a </PRE> <P></P> <P> +This can be done anywhere in your local repository, i.e. in the <CODE>GF</CODE> +directory, or any of its subdirectories. +</P> +<P> Without <CODE>-a</CODE>, you can choose which patches you want to get. </P> <A NAME="toc6"></A> @@ -484,5 +492,5 @@ For more info about what you can do with darcs, see <A HREF="http://darcs.net/ma </P> <!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> -<!-- cmdline: txt2tags -t html -\-toc darcs.txt --> +<!-- cmdline: txt2tags darcs.txt transfer-reference.txt transfer-tutorial.txt transfer.txt --> </BODY></HTML> 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. |