update list of files to be touched during bootstrapping
<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>