blob: 65f55de4ddb9e0e64e89491a43bc2b983d349dcb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
.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 $@
|
