12 Sep
2008
12 Sep
'08
8:11 p.m.
Hi Neil, On Wed, Sep 10, 2008 at 01:45:34PM +0100, Mitchell, Neil wrote:
Fresh pull, and I get in bind-dist:
== make install-docs - --no-print-directory -r; in /cygdrive/c/ghc-build/ghc/docs/ext-core ------------------------------------------------------------------------ make[3]: *** No rule to make target `install-docs'. Stop. Failed making install-docs in ext-core: 1 make[2]: *** [install-docs] Error 1 make[1]: *** [install-docs] Error 1 make[1]: Leaving directory `/cygdrive/c/ghc-build/ghc' make: *** [binary-dist] Error 2
Ext-core install-docs doesn't work?
This is fixed now. Thanks Ian