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
|
default: jadetex.fmt jadetexpdf.fmt
basic: jadetex.ltx
tex jadetex.ins
jadetex.fmt: basic
tex -ini "&latex" jadetex.ini
jadetexpdf.fmt: basic
pdftex -ini "&pdflatex" jadetexpdf.ini
install: jadetex.fmt jadetexpdf.fmt
(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;cp jadetexpdf.fmt $$TT/web2c)
(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;cp jadetex.fmt $$TT/web2c)
(TT=`kpsewhich -expand-var '$$TEXMFMAIN'`;\
-mkdir $$TT/tex/jadetex ; \
cp dsssl.def isoents.tex jadetex.ltx $$TT/tex/jadetex)
clean:
-rm jade*.fmt *.log *.aux *.idx dsssl.def isoents.tex jadetex.ltx
-rm *.toc
test:
jade -t tex -d art.dsl test.sgm
jadetexpdf test
distrib:
(cd ..; zip -r jadetex jadetex/cooked jadetex/*.dtx jadetex/*.ins \
jadetex/makefile jadetex/*ini)
jadetex.ltx: jadetex.dtx
|
