Repository: debian-cd/tools/woody who: rhirst time: Tue Nov 6 02:23:36 PST 2001 Log Message: If using BOOTDISK= pick up docs from there also Files: changed: installtools.sh