doc-src/Logics/Makefile
changeset 6585 d5eae11efa42
parent 6072 5583261db33d
child 6597 56ff27255ac8
equal deleted inserted replaced
6584:5569f2672662 6585:d5eae11efa42
     4 #	Makefile for the report "Isabelle's Object-Logics"		#
     4 #	Makefile for the report "Isabelle's Object-Logics"		#
     5 #									#
     5 #									#
     6 #########################################################################
     6 #########################################################################
     7 
     7 
     8 
     8 
     9 FILES =  logics.tex preface.tex syntax.tex HOL.tex LK.tex CTT.tex\
     9 FILES =  logics.tex preface.tex syntax.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 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    13 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    14 	-rm logics.dvi*
    14 	-rm logics.dvi*