failure during install_doc

when trying to install from a binary distribution of ghc-7.0.0.20101028 on i386 MacOS X 10.6 (that possibly misses some files) I get the following installation error:

/usr/bin/install -c -m 755 -d  "/Users/Shared/maeder/share/doc/ghc/html/libraries"
for i in libraries/*.html libraries/*.gif libraries/*.css libraries/*.js; do \
                /usr/bin/install -c -m 644  $i "/Users/Shared/maeder/share/doc/ghc/html/libraries/"; \
        done
install: libraries/*.gif: No such file or directory
install: libraries/*.js: No such file or directory
make[1]: *** [install_docs] Error 71
make: *** [install] Error 2

Trac metadata

Trac field	Value
Version	7.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Build System
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture