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@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