osdfont.mif: osdfont.bin
	../bin2mif.pl 8 1024 $< $@
	cp osdfont.mif ../../HDL/gcvideo_dvi/src/
