SHELL = bash
PWD   = $(shell pwd)

all:
	make -f Makefile.vutinf
	make -f Makefile.vutinfminutes

%:
	make -f Makefile.vutinf $@
	make -f Makefile.vutinfminutes $@