Hi,

I cannot build the user's guide. Doing make html stage=0 FAST=YES under docs/users_guide, I get:

===--- building final phase
make -r --no-print-directory -f ghc.mk phase=final html_docs/users_guide
inplace/bin/mkUserGuidePart docs/users_guide/users_guide.xml
inplace/bin/mkUserGuidePart docs/users_guide/what_glasgow_exts_does.gen.xml
"rm" -rf docs/users_guide/users_guide/ 
"" --stringparam base.dir docs/users_guide/users_guide/ --stringparam use.id.as.filename 1 --stringparam html.stylesheet fptools.css --nonet --stringparam toc.section.depth 3 --stringparam section.autolabel 1 --stringparam section.label.includes.component.label 1  http://docbook.sourceforge.net/release/xsl/current/html/chunk.xsl docs/users_guide/users_guide.xml
/bin/sh: 1: : Permission denied
make[2]: *** [docs/users_guide/users_guide/index.html] Error 127
make[1]: *** [html_docs/users_guide] Error 2

It seems like make is just calling an empty program name. What could I be missing?

(Btw, validate goes through. Does validate not build the user's guide?)


Thanks,
Pedro