[tex-live] etex_man.pdf formatting issue
jfbu at free.fr
Fri Jan 2 10:15:11 CET 2015
has (see for example on page 15) numerous TeX-XeT and TeX--XeT
where systematically the -XeT is bold on screen (tested on mac os x
with both preview and acrobat reader)
This seems like a bug, probably related to the chain followed
(which I didn't investigate) to produce the pdf from the source.
(by laziness I didn't try to locate the source, which is presumably in
some ascii text markup)
I suspect the -XeT is treated like an option, as for example one sees in
where all described options are indeed printed bold. Thus my conjecture
is that similar tools are used to produce both etex_man.pdf and
etex.man1.pdf but what is suitable for the second is not 100% ok for the first.
More information about the tex-live