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.xsldocs/users_... /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