Build error in users guide in HEAD of today

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

On Aug 20, 2009, at 11:43 PM, Philip K.F. Hölzenspies wrote:
> 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

Dear GHCers,

It seems the last error is also due to backslashes in windows paths in  
the documentation. When I replace latex with a script that interrupts  
for user interaction and manually change all paths in /tmp/tmpXXXXXX/ 
users_guide_tmp.tex to have double backslashes, it all works fine. Is  
there a problem with the hyperref package that fails to properly  
escape (i.e. insufficient verbatim) the contents of the \nolinkurl{}  
macro, or should docbook have escaped the backslashes?

Regards,
Philip