doc-src/Logics/Makefile
changeset 3096 ccc2c92bb232
parent 2661 366190b74832
child 3164 ddb0b1fdfdea
equal deleted inserted replaced
3095:20251c80be78 3096:ccc2c92bb232
     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 	 ../rail.sty ../proof209.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 	-rm logics.dvi*
    13 	-rm logics.dvi*
    14 	latex209 logics
    14 	latex logics
    15 	rail logics
    15 	rail logics
    16 	bibtex logics
    16 	bibtex logics
    17 	latex209 logics
    17 	latex logics
    18 	latex209 logics
    18 	latex logics
    19 	../sedindex logics
    19 	../sedindex logics
    20 	latex209 logics
    20 	latex logics
    21 	gzip -f logics.dvi
    21 	gzip -f logics.dvi
    22 
    22 
    23 dist:   $(FILES) 
    23 dist:   $(FILES) 
    24 	-rm logics.dvi*
    24 	-rm logics.dvi*
    25 	latex209 logics
    25 	latex logics
    26 	latex209 logics
    26 	latex logics
    27 	../sedindex logics
    27 	../sedindex logics
    28 	latex209 logics
    28 	latex logics