Broken build: Documentation mistake

[Páli Gábor János]

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 &#x2919;
Missing character &#x291a;
Missing character &#x291b;
Missing character &#x291c;
[ -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