[tldoc] Han The Thanh in html

Karl Berry karl at freefriends.org
Thu Aug 7 23:50:35 CEST 2008

    As I found, Thanh's name is so bad typeset in all html versions, so I 
    would suggest putting more simple defininition
    \def\Thanh{H\`an Th\^e Th\`anh}

Eitan just me a revised definition that should do the right thing.
(Thanks Eitan!)

Give me a little while to test it and I'll check it in.

More information about the tldoc mailing list