projects
/
mate.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Makefile: fix for new javac version
[mate.git]
/
scratch
/
Makefile
1
SHELL := bash
2
3
FILENAME := Translation
4
5
.PHONY: all read aread clean
6
7
8
all: $(FILENAME).pdf
9
10
%.tex: %.lhs
11
lhs2TeX -o $@ $<
12
13
%.pdf: %.tex
14
pdflatex $<
15
pdflatex $<
16
17
read: $(FILENAME).pdf
18
evince $< &
19
20
aread: $(FILENAME).pdf
21
acroread $< &
22
23
clean:
24
rm -rf $(FILENAME).{ps,ptb,tex,pdf,log,aux,out,dvi,bbl,blg}