Re: Broken build: Documentation mistake

Hi Austin, Looks like the build is failing again, with another error message from LaTeX [1]: <snip> Build users_guide.ps latex failed users_guide.tex:17168: Undefined control sequence \Colon. users_guide.tex:17168: leading text: } Unexpected error occured Missing character ⤙ Missing character ⤚ Missing character ⤛ Missing character ⤜ [ -f docs/users_guide/users_guide.ps ] docs/users_guide/ghc.mk:26: recipe for target 'docs/users_guide/users_guide.ps' failed gmake[1]: *** [docs/users_guide/users_guide.ps] Error 1 Makefile:102: recipe for target 'all' failed gmake: *** [all] Error 2 Do you have any ideas why this is happening? Thanks, Gábor [1] http://haskell.inf.elte.hu/builders/freebsd-i386-head/650/10.html