--- a/doc-src/Codegen/Makefile Wed May 06 16:01:06 2009 +0200
+++ b/doc-src/Codegen/Makefile Wed May 06 16:01:07 2009 +0200
@@ -17,7 +17,7 @@
dvi: $(NAME).dvi
-$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaption.eps
+$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
$(LATEX) $(NAME)
$(BIBTEX) $(NAME)
$(LATEX) $(NAME)
@@ -25,7 +25,7 @@
pdf: $(NAME).pdf
-$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaption.pdf
+$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
$(PDFLATEX) $(NAME)
$(BIBTEX) $(NAME)
$(PDFLATEX) $(NAME)
@@ -37,17 +37,17 @@
architecture.dvi: Thy/pictures/architecture.tex
latex -output-directory=$(dir $@) $<
-adaption.dvi: Thy/pictures/adaption.tex
+adaptation.dvi: Thy/pictures/adaptation.tex
latex -output-directory=$(dir $@) $<
architecture.eps: architecture.dvi
dvips -E -o $@ $<
-adaption.eps: adaption.dvi
+adaptation.eps: adaptation.dvi
dvips -E -o $@ $<
architecture.pdf: architecture.eps
epstopdf --outfile=$@ $<
-adaption.pdf: adaption.eps
+adaptation.pdf: adaptation.eps
epstopdf --outfile=$@ $<