make target doesn't include make pdf or html targets by default!

Ben Gamari ben at
Sat Apr 23 23:39:09 UTC 2016

Carter Schonwald <carter.schonwald at> writes:

> even though i had sphinx html and pdf flags set to YES  in my mk/
> file!
> this was quite surprising.

For the record: It appears that the issue here may have been an
mk/ file left in the tree.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list