1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
include ../config.mk
#-----------------------------------------------------------------------------
# directories and files
snips := $(wildcard *.snip)
texs := $(foreach file, $(snips:.snip=.tex), $(file))
LHS2TEX = ../lhs2TeX
#-----------------------------------------------------------------------------
# pattern rules
%.tex : %.snip
# lhs2TeX -verb -i../lhs2TeX.fmt -l'meta = True' $< > $@
$(LHS2TEX) -v --math --align=33 -smeta -i../lhs2TeX.fmt $< > $@
%.tex : %.lhs
# lhs2TeX -verb -i../lhs2TeX.fmt -l'meta = True' $< > $@
$(LHS2TEX) -v --math --align=33 -smeta $< > $@
%.ps : %.dvi
$(DVIPS) -D600 -o $@ $<
#-----------------------------------------------------------------------------
.PHONY: show view print clean
Test.dvi : $(texs)
show : Test.dvi
$(XDVI) -s 3 Test.dvi &
view : Test.ps
xe ghostview Test.ps &
print : Test.dvi
$(DVIPS) -D600 -f Test.dvi | lpr -Pa -Zl
clean :
rm -f Test.tex $(texs) *.dvi *.ps
include ../common.mk
|
