John Ericson dd99d1f8d0 ghcHEAD: Split docs into their own output
This ghc was forgetten from 2089dd4ab6be089bda12a942846ab7954b28b459
2017-06-17 15:13:43 -04:00
..
2017-03-10 19:31:12 -06:00
2017-06-11 21:52:41 +02:00