1.1 --- a/doc-src/Codegen/Makefile	Tue Apr 07 08:52:43 2009 +0200
     1.2 +++ b/doc-src/Codegen/Makefile	Tue Apr 07 21:24:39 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 Thy/pictures/architecture.eps Thy/pictures/adaption.eps
     1.8 +$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaption.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 Thy/pictures/architecture.pdf Thy/pictures/adaption.pdf
    1.17 +$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaption.pdf
    1.18  	$(PDFLATEX) $(NAME)
    1.19  	$(BIBTEX) $(NAME)
    1.20  	$(PDFLATEX) $(NAME)
    1.21 @@ -34,11 +34,20 @@
    1.22  	$(PDFLATEX) $(NAME)
    1.23  	$(PDFLATEX) $(NAME)
    1.24  
    1.25 -Thy/pictures/%.dvi: Thy/pictures/%.tex
    1.26 +architecture.dvi: Thy/pictures/architecture.tex
    1.27  	latex -output-directory=$(dir $@) $<
    1.28  
    1.29 -Thy/pictures/%.eps: Thy/pictures/%.dvi
    1.30 +adaption.dvi: Thy/pictures/adaption.tex
    1.31 +	latex -output-directory=$(dir $@) $<
    1.32 +
    1.33 +architecture.eps: architecture.dvi
    1.34  	dvips -E -o $@ $<
    1.35  
    1.36 -Thy/pictures/%.pdf: Thy/pictures/%.eps
    1.37 +adaption.eps: adaption.dvi
    1.38 +	dvips -E -o $@ $<
    1.39 +
    1.40 +architecture.pdf: architecture.eps
    1.41  	epstopdf --outfile=$@ $<
    1.42 +
    1.43 +adaption.pdf: adaption.eps
    1.44 +	epstopdf --outfile=$@ $<

     2.1 --- a/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 08:52:43 2009 +0200
     2.2 +++ b/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 21:24:39 2009 +0200
     2.3 @@ -59,7 +59,7 @@
     2.4    supposed to be:
     2.5  
     2.6    \begin{figure}[here]
     2.7 -    \includegraphics{Thy/pictures/adaption}
     2.8 +    \includegraphics{adaption}
     2.9      \caption{The adaption principle}
    2.10      \label{fig:adaption}
    2.11    \end{figure}

     3.1 --- a/doc-src/Codegen/Thy/Introduction.thy	Tue Apr 07 08:52:43 2009 +0200
     3.2 +++ b/doc-src/Codegen/Thy/Introduction.thy	Tue Apr 07 21:24:39 2009 +0200
     3.3 @@ -121,7 +121,7 @@
     3.4    how it works.
     3.5  
     3.6    \begin{figure}[h]
     3.7 -    \includegraphics{Thy/pictures/architecture}
     3.8 +    \includegraphics{architecture}
     3.9      \caption{Code generator architecture}
    3.10      \label{fig:arch}
    3.11    \end{figure}

     4.1 --- a/doc-src/Codegen/Thy/document/Adaption.tex	Tue Apr 07 08:52:43 2009 +0200
     4.2 +++ b/doc-src/Codegen/Thy/document/Adaption.tex	Tue Apr 07 21:24:39 2009 +0200
     4.3 @@ -96,7 +96,7 @@
     4.4    supposed to be:
     4.5  
     4.6    \begin{figure}[here]
     4.7 -    \includegraphics{Thy/pictures/adaption}
     4.8 +    \includegraphics{adaption}
     4.9      \caption{The adaption principle}
    4.10      \label{fig:adaption}
    4.11    \end{figure}

     5.1 --- a/doc-src/Codegen/Thy/document/Introduction.tex	Tue Apr 07 08:52:43 2009 +0200
     5.2 +++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Apr 07 21:24:39 2009 +0200
     5.3 @@ -284,7 +284,7 @@
     5.4    how it works.
     5.5  
     5.6    \begin{figure}[h]
     5.7 -    \includegraphics{Thy/pictures/architecture}
     5.8 +    \includegraphics{architecture}
     5.9      \caption{Code generator architecture}
    5.10      \label{fig:arch}
    5.11    \end{figure}