mirror of
https://github.com/fsr/ese-spiel
synced 2024-11-15 04:13:10 +01:00
17 lines
184 B
Makefile
17 lines
184 B
Makefile
all: ps clean
|
|
|
|
.PHONY : clean distclean
|
|
|
|
clean:
|
|
-rm *.aux *.dvi *.log caption.tex
|
|
|
|
distclean: clean
|
|
-rm *.ps
|
|
|
|
ps:
|
|
chmod 700 buildps.pl
|
|
./buildps.pl
|
|
|
|
# ***** end of source *****
|
|
|