From 47930d1e7ece751739e96278539769a8a31beaad Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 22 Mar 2005 11:56:07 +0000
Subject: [PATCH] [project @ 2005-03-22 11:56:07 by simonmar] update list of
 files to be touched during bootstrapping

---
 docs/building/building.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/building/building.xml b/docs/building/building.xml
index 06e3302..421a8bc 100644
--- a/docs/building/building.xml
+++ b/docs/building/building.xml
@@ -3819,7 +3819,7 @@ GhcBootLibs = YES</programlisting>
 	      <listitem>
 		<para>Touch the generated configuration files, just to make
 		sure they don't get replaced during the build:</para>
-<screen>$ touch <replaceable>H</replaceable>/ghc/includes/{ghcautoconf.h,DerivedConstants.h,GHCConstants.h}</screen>
+<screen>$ touch <filename><replaceable>H</replaceable></filename>/ghc/includes/{ghcautoconf.h,DerivedConstants.h.GHCConstants.h.mkDerivedConstants.c.mkDerivedConstantsHdr.mkDerivedConstants.o,mkGHCConstants,mkGHCConstants.o}
 	      </listitem>
 
 	    <listitem>
-- 
1.7.10.4