
20 Apr
2006
20 Apr
'06
3:56 a.m.
Christian Maeder wrote:
Christian Maeder wrote:
The files in the binary distribution are:
ghc -> ghc-6.4.2 ghc-6.4.2
due to a missing dvips "make binary-dist" does not finish properly and does not create a ghc-6.4.2.sh (and other .sh) file(s).
Should it not be possible to build a binary distribution without documentation?
Try make binary-dist Project=Ghc BINDIST_DOC_WAYS=html Cheers, Simon