GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 02:38:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
bringert
2005-12-06 12:23:54 +00:00
parent 09659e86eb
commit 6cda8779c4
2 changed files with 21 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
doc/darcs.html
View File

@@ -6,7 +6,8 @@
</HEAD><BODY BGCOLOR="white" TEXT="black"> </HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1>GF Darcs repository</H1> <P ALIGN="center"><CENTER><H1>GF Darcs repository</H1>
<FONT SIZE="4"> <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 &lt;bringert@cs.chalmers.se&gt;</I><BR>
Last update: Tue Dec 6 13:23:38 2005
</FONT></CENTER> </FONT></CENTER>
<P></P> <P></P>
@@ -54,6 +55,9 @@ GF has now been moved to a Darcs repository. No changes should be committed to t
<P></P> <P></P>
<HR NOSHADE SIZE=1> <HR NOSHADE SIZE=1>
<P></P> <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> <A NAME="toc1"></A>
<H1>What is darcs?</H1> <H1>What is darcs?</H1>
<P> <P>
@@ -107,13 +111,17 @@ need to run <CODE>autoconf</CODE> before <CODE>configure</CODE>.
<A NAME="toc5"></A> <A NAME="toc5"></A>
<H2>Updating your copy</H2> <H2>Updating your copy</H2>
<P> <P>
Get all new patches from the main repo: To get all new patches from the main repo:
</P> </P>
<PRE> <PRE>
$ darcs pull -a $ darcs pull -a
</PRE> </PRE>
<P></P> <P></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. Without <CODE>-a</CODE>, you can choose which patches you want to get.
</P> </P>
<A NAME="toc6"></A> <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> </P>
<!-- html code generated by txt2tags 2.0 (http://txt2tags.sf.net) --> <!-- 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> </BODY></HTML>

14
doc/darcs.txt
View File

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