From 97850bacd6441d9459df0ff105434830f6451d62 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 17 Oct 2005 10:47:10 +0000
Subject: [PATCH] [project @ 2005-10-17 10:47:10 by simonmar] merge rev.
 1.13.2.12 from ghc-6-4-branch

---
 docs/building/building.xml |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/building/building.xml b/docs/building/building.xml
index 4fc7c87..0375c38 100644
--- a/docs/building/building.xml
+++ b/docs/building/building.xml
@@ -3819,7 +3819,9 @@ 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 <filename><replaceable>H</replaceable></filename>/ghc/includes/{ghcautoconf.h,DerivedConstants.h,GHCConstants.h,mkDerivedConstants.c,mkDerivedConstantsHdr,mkDerivedConstants.o,mkGHCConstants,mkGHCConstants.o}</screen>
+<screen>$ cd <filename><replaceable>H</replaceable></filename>/ghc/includes
+$ touch ghcautoconf.h DerivedConstants.h GHCConstants.h mkDerivedConstants.c
+$ touch mkDerivedConstantsHdr mkDerivedConstants.o mkGHCConstants mkGHCConstants.o</screen>
 
 		<para>Note: it has been reported that these files still get
 		  overwritten during the next stage.  We have installed a fix
-- 
1.7.10.4