equal
deleted
inserted
replaced
16 ../iman.sty ../extra.sty ../manual.bib |
16 ../iman.sty ../extra.sty ../manual.bib |
17 |
17 |
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) isabelle.eps |
20 $(NAME).dvi: $(FILES) isabelle.eps |
21 touch $(NAME).ind |
|
22 $(LATEX) $(NAME) |
21 $(LATEX) $(NAME) |
23 $(BIBTEX) $(NAME) |
22 $(BIBTEX) $(NAME) |
24 $(LATEX) $(NAME) |
23 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
24 $(LATEX) $(NAME) |
26 $(SEDINDEX) $(NAME) |
25 $(SEDINDEX) $(NAME) |
27 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
28 |
27 |
29 pdf: $(NAME).pdf |
28 pdf: $(NAME).pdf |
30 |
29 |
31 $(NAME).pdf: $(FILES) isabelle.pdf |
30 $(NAME).pdf: $(FILES) isabelle.pdf |
32 touch $(NAME).ind |
|
33 $(PDFLATEX) $(NAME) |
31 $(PDFLATEX) $(NAME) |
34 $(BIBTEX) $(NAME) |
32 $(BIBTEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
33 $(PDFLATEX) $(NAME) |
36 $(PDFLATEX) $(NAME) |
34 $(PDFLATEX) $(NAME) |
37 $(SEDINDEX) $(NAME) |
35 $(SEDINDEX) $(NAME) |