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 &lt;bringert@cs.chalmers.se&gt;</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.
 
 
