equal
deleted
inserted
replaced
37 |
37 |
38 ISABELLE_LATEX="latex" |
38 ISABELLE_LATEX="latex" |
39 ISABELLE_PDFLATEX="pdflatex" |
39 ISABELLE_PDFLATEX="pdflatex" |
40 ISABELLE_BIBTEX="bibtex" |
40 ISABELLE_BIBTEX="bibtex" |
41 ISABELLE_MAKEINDEX="makeindex" |
41 ISABELLE_MAKEINDEX="makeindex" |
42 ISABELLE_DVIPS="dvips -D 600" |
|
43 ISABELLE_EPSTOPDF="epstopdf" |
42 ISABELLE_EPSTOPDF="epstopdf" |
44 |
43 |
45 # Paranoia setting for strange latex installations ... |
44 # Paranoia setting for strange latex installations ... |
46 #unset TEXMF |
45 #unset TEXMF |
47 |
46 |