doc-src/ZF/Makefile
changeset 26913 67040326ab7a
parent 14159 e2eba24c8a2a
child 42511 bf89455ccf9d
equal deleted inserted replaced
26912:0265353e4def 26913:67040326ab7a
    10 ## dependencies
    10 ## dependencies
    11 
    11 
    12 include ../Makefile.in
    12 include ../Makefile.in
    13 
    13 
    14 NAME = logics-ZF
    14 NAME = logics-ZF
    15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty\
    15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty	\
    16 	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
    16   ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
       
    17   ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty ../manual.bib
    17 
    18 
    18 dvi: $(NAME).dvi
    19 dvi: $(NAME).dvi
    19 
    20 
    20 $(NAME).dvi: $(FILES) isabelle_zf.eps
    21 $(NAME).dvi: $(FILES) isabelle_zf.eps
    21 	$(LATEX) $(NAME)
    22 	$(LATEX) $(NAME)