equal
deleted
inserted
replaced
26 ../iman.sty ../ttbox.sty ../extra.sty \ |
26 ../iman.sty ../ttbox.sty ../extra.sty \ |
27 isabelle.sty isabellesym.sty ../pdfsetup.sty |
27 isabelle.sty isabellesym.sty ../pdfsetup.sty |
28 |
28 |
29 dvi: $(NAME).dvi |
29 dvi: $(NAME).dvi |
30 |
30 |
31 $(NAME).dvi: $(FILES) isabelle_hol.eps Types/typedef.eps |
31 $(NAME).dvi: $(FILES) isabelle_hol.eps typedef.ps |
32 @test -r typedef.eps || ln -s ../gfx/typedef.ps . |
|
33 $(LATEX) $(NAME) |
32 $(LATEX) $(NAME) |
34 $(BIBTEX) $(NAME) |
33 $(BIBTEX) $(NAME) |
35 $(LATEX) $(NAME) |
34 $(LATEX) $(NAME) |
36 $(LATEX) $(NAME) |
35 $(LATEX) $(NAME) |
37 $(SEDINDEX) $(NAME) |
36 $(SEDINDEX) $(NAME) |
38 $(LATEX) $(NAME) |
37 $(LATEX) $(NAME) |
39 |
38 |
40 pdf: $(NAME).pdf |
39 pdf: $(NAME).pdf |
41 |
40 |
42 $(NAME).pdf: $(FILES) isabelle_hol.pdf Types/typedef.pdf |
41 $(NAME).pdf: $(FILES) isabelle_hol.pdf typedef.pdf |
43 @test -r typedef.pdf || ln -s ../gfx/typedef.pdf . |
|
44 $(PDFLATEX) $(NAME) |
42 $(PDFLATEX) $(NAME) |
45 $(BIBTEX) $(NAME) |
43 $(BIBTEX) $(NAME) |
46 $(PDFLATEX) $(NAME) |
44 $(PDFLATEX) $(NAME) |
47 $(PDFLATEX) $(NAME) |
45 $(PDFLATEX) $(NAME) |
48 $(SEDINDEX) $(NAME) |
46 $(SEDINDEX) $(NAME) |