Am Mittwoch, 15. September 2004 22:24 schrieb Sebastian Rahtz: > the script runs the texlive: target if it exists What should this target do (other than the install target)? Markus