Sven Panne <[EMAIL PROTECTED]> writes:
> * During "make binary-dist" lit2texi stumbles three times like this:
>
> [...]
> Making html documentation in ghc/docs/users_guide
> ../../../literate/lit2texi -c -o prof-compiler-options.itxi
>prof-compiler-options.lit
> lit2texi: error(s) from prefilter pipe
> make[1]: *** [prof-compiler-options.itxi] Error 1
Yes, I've seen this on Linux too. It seems something is dumping core,
but I haven't investigated further yet.
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key
