K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2011-06-18T16:13:31.000000Z
K 7
svn:log
V 195
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.
- Use print/teTeX-base for latex instead of print/teTeX.
- Use share/texmf for TeX-related files instead of share/texmf-local.

END