Allow users guide to be built independently from GHC
At HIW 2016 it was suggested that this would greatly reduce the friction to contributing users guide fixes.
Moreover, this would make our readthedocs mirror significantly easier to maintain.
At HIW 2016 it was suggested that this would greatly reduce the friction to contributing users guide fixes.
Moreover, this would make our readthedocs mirror significantly easier to maintain.