blob: 43a0417a0ff01d8c7b9993ccb11329cdf669ca71 (
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
|
# $Id: makefile 130 2018-06-29 05:26:48Z 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 ../
|
