Hallo! Ich habe das veraltete debian-tex durch das aktuellere TeX Live 7 ersetzt. Die man-pages und die info files sind zwar vorhanden, aber nicht korrekt eingebunden. Was muß ich tun, um diese korrekt zu installieren? Gruß, Wolfgang