default: sbootmgr.dsk

sbootmgr.dsk:
	wget http://www.lrz-muenchen.de/~bernhard/sbootmgr.dsk

.PHONY: clean distclean
clean:
distclean: clean
	rm -f sbootmgr.dsk
