Wojciech Jaworski / ENIAM

makefile 234 Bytes
1 2 3 4 5 6 7 8 

install: 
	mkdir -p /usr/share/eniam/theories
	mkdir -p /usr/share/eniam/theories/numbers
	cp numbers/*  /usr/share/eniam/theories/numbers
	mkdir -p /usr/share/eniam/theories/persons
	cp persons/*  /usr/share/eniam/theories/persons