.POSIX:

DESTDIR=/home/minimun/minimun

minimun: minimun.orig
	sed 's:%%DEST%%:$(DESTDIR):' minimun.orig > minimun
	chmod +x minimun

clean:
	rm minimun

install: $(DESTDIR) minimun
	cp -t $(DESTDIR) minimun format.tex logo.png

uninstall:
	rm $(DESTDIR)/{minimun,format.tex,logo.png}
	rmdir -p $(DESTDIR)

$(DESTDIR):
	mkdir -p $@