4 jobname
=$1 opts
=$2 file=$3 preamble
=$4
7 *,pdf
,*) tex
=pdflatex ext
=pdf
;;
11 for i
in toc lot lof aux ind idx ilg bbl blg log
; do
15 $tex -jobname
"$jobname" "\\relax $preamble \\input $file"
16 case ",$opts," in *,bibtex
,*) bibtex
"$jobname".aux ||
:;; esac
17 $tex -jobname
"$jobname" "\\relax $preamble \\input $file"
18 $tex -jobname
"$jobname" "\\relax $preamble \\input $file"
21 ist
=$
(echo "$opts" |
sed 's:.*,index=\([^,]*\),.*$:\1:')
22 makeindex
-s
"$ist" "$jobname".idx
25 $tex -jobname
"$jobname" "\\relax $preamble \\input $file"
27 echo timestamp
>"$jobname".
$ext-stamp