Repository: debian-installer/build who: dwhedon time: Sat Jul 14 19:54:37 PDT 2001 Log Message: depmod stuff need to handle new kernel name too Files: changed: Makefile