Re: [Doxygen-users] Printing hex characters

2013-04-29 Thread Dimitri van Heesch
Hi Arthur, On Apr 29, 2013, at 0:06 , Arthur Schwarz wrote: > I’m trying to have the HTML output a check mark (✒). It outputs > “✒”. Any cure for this malady? I think the entity should be ✔ There are two ways: 1) Write it as an UTF-8 encoded character (and set INPUT_ENCONDING accordingly, de

[Doxygen-users] Printing hex characters

2013-04-28 Thread Arthur Schwarz
I'm trying to have the HTML output a check mark (✒). It outputs "✒". Any cure for this malady? -- Try New Relic Now & We'll Send You this Cool Shirt New Relic is the only SaaS-based application performance monitoring servi