[tex-live] TeX-Live 2012 sys_info and sys_man

Karl Berry karl at freefriends.org
Mon Jun 18 23:22:05 CEST 2012


Hi Andrew,

    So might not /usr/local/share be a "safer" default for sys_man and
    sys_info?

I think you're right and we should change the defaults to
/usr/local/share/info and /usr/local/share/man.  Thanks for the
suggestion.

karl


More information about the tex-live mailing list