Build error in users guide in HEAD of today

["Philip K.F. Hölzenspies"]

Dear GHC-ers,

I'm trying to put together a virtual machine with a default  
development for GHC hacking. To test it, I was running "sh validate"  
in the build tree. There were build errors in the doc/users_guide,  
however. Google gave me an hpaste page with the error on it, but I  
couldn't find the referring message. Does this ring a bell for anyone:

latex failed
users_guide_tmp.tex:1380: Undefined control sequence \Documents.
users_guide_tmp.tex:1380: leading text: }
users_guide_tmp.tex:1380: Undefined control sequence \user.
users_guide_tmp.tex:1380: leading text: }
users_guide_tmp.tex:5782: Undefined control sequence \Documents.
users_guide_tmp.tex:5782: leading text: ...kurl{C: 
\Documents~And~Settings\user\ghc}
users_guide_tmp.tex:5782: Undefined control sequence \user.
users_guide_tmp.tex:5782: leading text: ...kurl{C: 
\Documents~And~Settings\user\ghc}
users_guide_tmp.tex:5782: Undefined control sequence \ghc.
users_guide_tmp.tex:5782: leading text: ...kurl{C: 
\Documents~And~Settings\user\ghc}
users_guide_tmp.tex: File ended while scanning use of \hyper at n@rmalise.
users_guide_tmp.tex: Emergency stop.
Error: latex compilation failed
make[2]: *** [docs/users_guide/users_guide.ps] Error 1
make[1]: *** [all_docs/users_guide] Error 2

I understand the LaTeX errors, but I'm not so well versed in docbook.  
Should the path in the ghci.xml and packages.xml be forward slashed,  
instead of backslashed or does this indicate there's something wrong  
with my docbook/latex setup? Even when I change the backslashes to  
forward slashes, the last error (scanning use of \hyper at n@rmalise)  
remains.

Any ideas?

Regards,
Philip