doc-src/Codegen/Makefile
changeset 31050 555b56b66fcf
parent 30882 d15725e84091
child 42511 bf89455ccf9d
     1.1 --- a/doc-src/Codegen/Makefile	Wed May 06 16:01:06 2009 +0200
     1.2 +++ b/doc-src/Codegen/Makefile	Wed May 06 16:01:07 2009 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  dvi: $(NAME).dvi
     1.6  
     1.7 -$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaption.eps
     1.8 +$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
     1.9  	$(LATEX) $(NAME)
    1.10  	$(BIBTEX) $(NAME)
    1.11  	$(LATEX) $(NAME)
    1.12 @@ -25,7 +25,7 @@
    1.13  
    1.14  pdf: $(NAME).pdf
    1.15  
    1.16 -$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaption.pdf
    1.17 +$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
    1.18  	$(PDFLATEX) $(NAME)
    1.19  	$(BIBTEX) $(NAME)
    1.20  	$(PDFLATEX) $(NAME)
    1.21 @@ -37,17 +37,17 @@
    1.22  architecture.dvi: Thy/pictures/architecture.tex
    1.23  	latex -output-directory=$(dir $@) $<
    1.24  
    1.25 -adaption.dvi: Thy/pictures/adaption.tex
    1.26 +adaptation.dvi: Thy/pictures/adaptation.tex
    1.27  	latex -output-directory=$(dir $@) $<
    1.28  
    1.29  architecture.eps: architecture.dvi
    1.30  	dvips -E -o $@ $<
    1.31  
    1.32 -adaption.eps: adaption.dvi
    1.33 +adaptation.eps: adaptation.dvi
    1.34  	dvips -E -o $@ $<
    1.35  
    1.36  architecture.pdf: architecture.eps
    1.37  	epstopdf --outfile=$@ $<
    1.38  
    1.39 -adaption.pdf: adaption.eps
    1.40 +adaptation.pdf: adaptation.eps
    1.41  	epstopdf --outfile=$@ $<