() [email protected] () Sat, 7 Jan 2012 09:55:40 +0100 As I said, I'd glad to help: but lets us take this conversation off-list, because I guess it's off-topic here.
Well, there is at least one detail that is pertinent: setting the input encoding in the .texi file. Personally, i prefer UTF-8 these days. E.g.: http://git.savannah.gnu.org/cgit/serveez.git/commit/?h=next&id=aef4673b9
