[texdoc] [tex-live] TeXdoc

[Manuel Pégourié-Gonnard]

Philip TAYLOR (Ret'd) a écrit :
> Thank you, Manuel.  And now, another one I'm afraid :
> 
> TeXdoc extramarks in a <Br.E> regime again produces Polish output :
> 
Fixed, by adding

alias extramarks=fancyhrd

in the default texdoc.cnf.

By the way, texdoc doesn't currently has language-specific preferences, so the
policy is to always prefer english language documentation when available.

Manuel.