Request for merging "tex-team" branch

[Nicolas Goaziou]

Hello,

This branch fixes reproducibiliy of a couple of TeX Live packages and installs 
Info files and man pages to the expected places.

Regards,
-- 
Nicolas Goaziou