Makefile


1
2
3
4
5
6
7
8
9
10

SHELL = bash
PWD   = $(shell pwd)

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

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