blob: 7f2012666f47a5e60706c62ae0b16ff854e77814 (
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
42
43
44
|
#!/bin/csh
#
# author : A. Hebert
# use : install
#
chmod 755 .
if (-e /usr/local/common/TeX.csh) then
source /usr/local/common/TeX.csh
endif
#
if (-e $1.tex) then
set nom_fich = $1
else
set nom_fich = `basename $PWD`
endif
echo "begin typesetting file" $nom_fich.tex
latex $nom_fich.tex > /dev/null
echo "first typesetting completed"
if ( -f $nom_fich.idx ) then
set header = $nom_fich
set core = ` echo $nom_fich | sed -e's/header_//' `
cp $header.idx header_tmp.idx
makeindex header_tmp.idx
if ( -f header_tmp.tex ) /bin/rm header_tmp.tex
if ( -f tmp.tex ) /bin/rm tmp.tex
cp $header.tex header_tmp.tex
cp $core.tex tmp.tex
latex header_tmp.tex > /dev/null
latex header_tmp.tex > /dev/null
latex header_tmp.tex > /dev/null
dvips -f header_tmp.dvi -o header_tmp.ps
mv header_tmp.ps $nom_fich.ps
else
dvips -f $nom_fich.dvi -o $nom_fich.ps
endif
/bin/rm header_tmp.* tmp.tex
/bin/rm *.aux
echo "create pdf file" $nom_fich.pdf
ps2pdf $nom_fich.ps
echo "pdf file produced"
open $nom_fich.pdf
/bin/rm $nom_fich.dvi $nom_fich.ps $nom_fich.idx $nom_fich.log
/bin/rm $nom_fich.toc $nom_fich.lot $nom_fich.out $nom_fich.lof
exit
|
