espie 8e510e7c00 clean-up the texlive shit into its own file, with more appropriate code. ... tested by kili@, thanks !		2011-07-12 21:25:38 +00:00
..
texlive.pm