[tex-live] etex_man.pdf formatting issue
joseph.wright at morningstar2.co.uk
Fri Jan 2 12:07:12 CET 2015
On 02/01/2015 09:15, jfbu wrote:
> 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
This is not a 'TeX Live thing': the PDF and sources are provided by the
NTS team. If you read the sources, TeX--XeT is produced by a macro
called \TeXXeT which is defined as
so it look deliberate.
More information about the tex-live