j
k
j a
j l
wolfgang:
Hello, how do I insert non-ASCII and maybe even non-Latin-1 characters in Haddock documentation? Wolfgang
Hello,
how do I insert non-ASCII and maybe even non-Latin-1 characters in Haddock documentation?
Wolfgang
Looks like it might be difficult. The haddock lexer src has: $alphanum = [A-Za-z0-9] So, non-ascii might not be lexed. -- Don
Back to the thread
Back to the list
