doc-src/Logics/Makefile
changeset 5548 5cd3396802f5
parent 5374 6ef3742b6153
child 6072 5583261db33d
equal deleted inserted replaced
5547:29f09a778037 5548:5cd3396802f5
     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 ../gfx/isabelle.eps .
    13 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    14 	-rm logics.dvi*
    14 	-rm logics.dvi*
    15 	latex logics
    15 	latex logics
    16 	rail logics
    16 	rail logics
    17 	bibtex logics
    17 	bibtex logics
    18 	latex logics
    18 	latex logics
    20 	../sedindex logics
    20 	../sedindex logics
    21 	latex logics
    21 	latex logics
    22 	gzip -f logics.dvi
    22 	gzip -f logics.dvi
    23 
    23 
    24 dist:   $(FILES) 
    24 dist:   $(FILES) 
    25 	@ln -sf ../gfx/isabelle.eps .
    25 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    26 	-rm logics.dvi*
    26 	-rm logics.dvi*
    27 	latex logics
    27 	latex logics
    28 	latex logics
    28 	latex logics
    29 	../sedindex logics
    29 	../sedindex logics
    30 	latex logics
    30 	latex logics