blob: 89f262a6f2bf20cdcf3f8ebfc3c477b83c7438d0 (
plain)
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
|
# $Id: makefile 162 2019-01-14 09:36:11Z rishi $
file=elsdoc
all: pdf out
make pdf
make pdf
out:
if [ -f $(file).out ] ; then cp $(file).out tmp.out; fi ;
sed 's/BOOKMARK/dtxmark/g;' tmp.out > x.out; mv x.out tmp.out ;
pdf:
pdflatex $(file).tex
index:
makeindex -s gind.ist -o $(file).ind $(file).idx
changes:
makeindex -s gglo.ist -o $(file).gls $(file).glo
xview:
# xpdf -z 200 $(file).pdf &>/dev/null
open -a 'Skim.app' $(file).pdf
view:
open -a 'Adobe Reader.app' $(file).pdf
ins:
latex $(file).ins
diff:
diff $(file).sty ../$(file).sty |less
copy:
cp $(file).sty ../
|