dvidvi.o: dvidvi.c