A few documentation fixes after 7.10.3 tag was cut ghc-7.10.3a-release
authorBen Gamari <ben@smart-cactus.org>
Tue, 8 Dec 2015 18:47:57 +0000 (19:47 +0100)
committerBen Gamari <ben@smart-cactus.org>
Tue, 8 Dec 2015 18:47:57 +0000 (19:47 +0100)
commit9b50b5a5da4325e703210b2de2d816debe4c8a64
treed41d64b5ce82ba21edf56f6799b08ab33abafb0f
parent97e7c293abbde5223d2bf0516f8969bdd1a9a7a2
A few documentation fixes after 7.10.3 tag was cut

Unfortunately there were a few issues with the documentation in the
tagged 7.10.3 release. This fixes these. These changes will be in a
7.10.3a release which will serve as the primary source release for
7.10.3.
ANNOUNCE
docs/users_guide/intro.xml
docs/users_guide/ug-ent.xml.in