On 10 January 2011 17:02, Karoly Negyesi <kar...@negyesi.net> wrote: > This http://paste.pocoo.org/show/318170/ would be more correct but it > contains a non ASCII Unicode character. May I commit it still?
Documentation files are explicitly UTF-8 (per the XML header), so as long as the ℤ is encoded in UTF-8, it should just work — I've just tested a partial build with that change and it builds and renders as expected. Adam