[tex-live] etex_man.pdf formatting issue

jfbu jfbu at free.fr
Fri Jan 2 10:15:11 CET 2015


the file


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.

best wishes


More information about the tex-live mailing list