equal
deleted
inserted
replaced
27 $(BIBTEX) $(NAME) |
27 $(BIBTEX) $(NAME) |
28 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
30 $(SEDINDEX) $(NAME) |
30 $(SEDINDEX) $(NAME) |
31 $(LATEX) $(NAME) |
31 $(LATEX) $(NAME) |
|
32 |
|
33 |
|
34 pdf: $(NAME).pdf |
|
35 |
|
36 $(NAME).pdf: $(FILES) isabelle.pdf |
|
37 touch $(NAME).ind |
|
38 $(PDFLATEX) $(NAME) |
|
39 $(RAIL) $(NAME) |
|
40 $(BIBTEX) $(NAME) |
|
41 $(PDFLATEX) $(NAME) |
|
42 $(PDFLATEX) $(NAME) |
|
43 $(SEDINDEX) $(NAME) |
|
44 $(FIXBOOKMARKS) $(NAME).out |
|
45 $(PDFLATEX) $(NAME) |