doc-src/Logics/Makefile
changeset 5170 33fbffd06c12
parent 3164 ddb0b1fdfdea
child 5374 6ef3742b6153
equal deleted inserted replaced
5169:c677baeac0f7 5170:33fbffd06c12
     8 
     8 
     9 FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
     9 FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
    10 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
    10 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
    11 
    11 
    12 logics.dvi.gz:   $(FILES) 
    12 logics.dvi.gz:   $(FILES) 
       
    13 	@ln -sf ../isabelle.eps .
    13 	-rm logics.dvi*
    14 	-rm logics.dvi*
    14 	latex logics
    15 	latex logics
    15 	rail logics
    16 	rail logics
    16 	bibtex logics
    17 	bibtex logics
    17 	latex logics
    18 	latex logics
    19 	../sedindex logics
    20 	../sedindex logics
    20 	latex logics
    21 	latex logics
    21 	gzip -f logics.dvi
    22 	gzip -f logics.dvi
    22 
    23 
    23 dist:   $(FILES) 
    24 dist:   $(FILES) 
       
    25 	@ln -sf ../isabelle.eps .
    24 	-rm logics.dvi*
    26 	-rm logics.dvi*
    25 	latex logics
    27 	latex logics
    26 	latex logics
    28 	latex logics
    27 	../sedindex logics
    29 	../sedindex logics
    28 	latex logics
    30 	latex logics