summaryrefslogtreecommitdiff
path: root/doc/gf-developers.t2t
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2013-11-29 16:04:52 +0000
committerhallgren <hallgren@chalmers.se>2013-11-29 16:04:52 +0000
commit729d04051a8f4f92dea0a3d22c64ece2122216bd (patch)
treed041f0e27a83c9d055616d8e9b799271d5196ebc /doc/gf-developers.t2t
parent7ffdfe9b3a807686afd2d654b1198e6e6035ef84 (diff)
Minor release/download/developer doc changes
Diffstat (limited to 'doc/gf-developers.t2t')
-rw-r--r--doc/gf-developers.t2t4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gf-developers.t2t b/doc/gf-developers.t2t
index 92f477c4a..3dba43508 100644
--- a/doc/gf-developers.t2t
+++ b/doc/gf-developers.t2t
@@ -366,8 +366,8 @@ setup: Distribution/Simple/PackageIndex.hs:124:8-13: Assertion failed
```
The exact cause of this problem is unclear, but it seems to happen
-during the configure phase if GF is already installed, so a workaround
-is to remove the existing installation with
+during the configure phase if the same version of GF is already installed,
+so a workaround is to remove the existing installation with
```
ghc-pkg unregister gf