Simon Marlow wrote: > Christian Maeder wrote: >> Should it not be possible to build a binary distribution without >> documentation? > > Try > > make binary-dist Project=Ghc BINDIST_DOC_WAYS=html Thanks, this worked! C.