[[project @ 2000-05-24 12:53:21 by rrt] rrt**20000524125322 Lots of ids added so that all HTML pages generated have sensible names. Various other little tidies up. Please merge. ] { hunk ./ghc/docs/users_guide/installing.sgml 31 -<bundle>-<platform>.tar.gz. (See the building guide () for the definition of a platform.) Suppose that you untar a binary-distribution bundle, thus: +<bundle>-<platform>.tar.gz. (See the building guide for the definition of a platform.) Suppose that you untar a binary-distribution bundle, thus: hunk ./ghc/docs/users_guide/installing.sgml 357 -the building guide (. +the building guide. hunk ./ghc/docs/users_guide/installing.sgml 505 -Installing on Windows +Installing on Windows hunk ./ghc/docs/users_guide/installing.sgml 919 + + hunk ./ghc/docs/users_guide/installing.sgml 1076 + + hunk ./ghc/docs/users_guide/installing.sgml 1099 -../filename.) +../filename.) hunk ./ghc/docs/users_guide/parallel.sgml 154 - + hunk ./ghc/docs/users_guide/using.sgml 2257 - + hunk ./ghc/docs/users_guide/using.sgml 2286 - + }