[[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
-
+
}