#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Documentation | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by pgj): * owner: zardoz => * status: closed => new * resolution: fixed => Comment: Unfortunately, [https://mail.haskell.org/pipermail/ghc- builds/2015-June/005002.html according to the buildbots], this patch does not work with the LaTeX backend but the HTML format only: {{{ Build users_guide.ps latex failed users_guide.tex:17170: Undefined control sequence \Colon. users_guide.tex:17170: 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 }}} This build problem itself could be fixed with the {{{-P 'latex.unicode.use=1'}}} flag passed to dblatex. Though, the resulting PS/PDF files will not have the expected symbols as dblatex does not know how to translate that. I can add the aforementioned flag for dblatex to {{{mk/config.mk}}} so the buildbots will not get choked on this any more, but it will not solve the problem of generating proper symbols for the PS/PDF versions of the guide. zardoz: Do you have any ideas how to fix that? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler