doc-src/Logics/Makefile
changeset 2661 366190b74832
parent 1683 a5bcaf5894f3
child 3096 ccc2c92bb232
equal deleted inserted replaced
2660:9137a3d10d57 2661:366190b74832
     5 #									#
     5 #									#
     6 #########################################################################
     6 #########################################################################
     7 
     7 
     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 	 ../iman.sty ../extra.sty
    10 	 ../rail.sty ../proof209.sty ../iman.sty ../extra.sty
    11 
    11 
    12 logics.dvi.gz:   $(FILES) 
    12 logics.dvi.gz:   $(FILES) 
    13 	-rm logics.dvi.gz
    13 	-rm logics.dvi*
    14 	latex209 logics
    14 	latex209 logics
    15 	rail logics
    15 	rail logics
    16 	bibtex logics
    16 	bibtex logics
    17 	latex209 logics
    17 	latex209 logics
    18 	latex209 logics
    18 	latex209 logics
    19 	../sedindex logics
    19 	../sedindex logics
    20 	latex209 logics
    20 	latex209 logics
    21 	gzip -f logics.dvi
    21 	gzip -f logics.dvi
       
    22 
       
    23 dist:   $(FILES) 
       
    24 	-rm logics.dvi*
       
    25 	latex209 logics
       
    26 	latex209 logics
       
    27 	../sedindex logics
       
    28 	latex209 logics