doc-src/Logics/Makefile
changeset 6598 c1d7791f0314
parent 6597 56ff27255ac8
child 6623 021728c71030
equal deleted inserted replaced
6597:56ff27255ac8 6598:c1d7791f0314
    16 FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \
    16 FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \
    17 	../proof.sty ../iman.sty ../extra.sty
    17 	../proof.sty ../iman.sty ../extra.sty
    18 
    18 
    19 dvi: $(NAME).dvi
    19 dvi: $(NAME).dvi
    20 
    20 
    21 $(NAME).dvi: $(FILES) isabelle_hol.eps
    21 $(NAME).dvi: $(FILES) isabelle.eps
    22 	touch $(NAME).ind
    22 	touch $(NAME).ind
    23 	$(LATEX) $(NAME)
    23 	$(LATEX) $(NAME)
    24 	$(BIBTEX) $(NAME)
    24 	$(BIBTEX) $(NAME)
    25 	$(LATEX) $(NAME)
    25 	$(LATEX) $(NAME)
    26 	$(LATEX) $(NAME)
    26 	$(LATEX) $(NAME)