doc-src/Inductive/Makefile
changeset 3165 80818995eb76
parent 3162 78fa85d44e68
child 6629 6edc66a9d80b
equal deleted inserted replaced
3164:ddb0b1fdfdea 3165:80818995eb76
     8 
     8 
     9 FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
     9 FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
    10 
    10 
    11 ind-defs.dvi.gz:   $(FILES) 
    11 ind-defs.dvi.gz:   $(FILES) 
    12 	-rm ind-defs.dvi.gz
    12 	-rm ind-defs.dvi.gz
    13 	latex209 ind-defs
    13 	latex ind-defs
    14 	bibtex ind-defs
    14 	bibtex ind-defs
    15 	latex209 ind-defs
    15 	latex ind-defs
    16 	latex209 ind-defs
    16 	latex ind-defs
    17 	gzip -f ind-defs.dvi
    17 	gzip -f ind-defs.dvi
       
    18 
       
    19 dist:   $(FILES) 
       
    20 	-rm ind-defs.dvi*
       
    21 	latex ind-defs
       
    22 	latex ind-defs
       
    23 
       
    24 clean:
       
    25 	@rm *.aux *.log *.toc
       
    26