[tex-live] tlmgr has weird characters

[Iain Dalton]

I didn't realize one had to CC the list. Not all mailing lists are
like that. Here's the solution I found:

I think I know why it happens for me (man 2.5.6-2 on Ubuntu 9.10,
mand-db package).  Source and how it would look in HTML:

tlmgr.1:

   .IP "\fBpaper [a4|letter]\fR" 4

   <b>paper [a4|letter]</b>

man.1.gz:

   \fBman \-t \fIalias \fR|\fI lpr \-Pps

   <b>man -t</b> <i>alias</i> | <i>lpr -Pps</i>

It seems debian's man turns a bold pipe into U+23AA.  This doesn't
seem smart considering several console fonts I've tested don't have
this character.  I'll file a bug with the appropriate authorities.