# HG changeset patch
# User wenzelm
# Date 1239132354 -7200
# Node ID e4fec43592e461de0177e28af0fae301fa169be3
# Parent  d15725e840916b8afd1389be4023318a41cb8541# Parent  2b9af1f237db2e9dc7c50b9a6e35b2db1c89cf72
merged

diff -r 2b9af1f237db -r e4fec43592e4 doc-src/Codegen/Makefile
--- a/doc-src/Codegen/Makefile	Tue Apr 07 21:25:42 2009 +0200
+++ b/doc-src/Codegen/Makefile	Tue Apr 07 21:25:54 2009 +0200
@@ -17,7 +17,7 @@
 
 dvi: $(NAME).dvi
 
-$(NAME).dvi: $(FILES) isabelle_isar.eps Thy/pictures/architecture.eps Thy/pictures/adaption.eps
+$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaption.eps
 	$(LATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(LATEX) $(NAME)
@@ -25,7 +25,7 @@
 
 pdf: $(NAME).pdf
 
-$(NAME).pdf: $(FILES) isabelle_isar.pdf Thy/pictures/architecture.pdf Thy/pictures/adaption.pdf
+$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaption.pdf
 	$(PDFLATEX) $(NAME)
 	$(BIBTEX) $(NAME)
 	$(PDFLATEX) $(NAME)
@@ -34,11 +34,20 @@
 	$(PDFLATEX) $(NAME)
 	$(PDFLATEX) $(NAME)
 
-Thy/pictures/%.dvi: Thy/pictures/%.tex
+architecture.dvi: Thy/pictures/architecture.tex
+	latex -output-directory=$(dir $@) $<
+
+adaption.dvi: Thy/pictures/adaption.tex
 	latex -output-directory=$(dir $@) $<
 
-Thy/pictures/%.eps: Thy/pictures/%.dvi
+architecture.eps: architecture.dvi
+	dvips -E -o $@ $<
+
+adaption.eps: adaption.dvi
 	dvips -E -o $@ $<
 
-Thy/pictures/%.pdf: Thy/pictures/%.eps
+architecture.pdf: architecture.eps
 	epstopdf --outfile=$@ $<
+
+adaption.pdf: adaption.eps
+	epstopdf --outfile=$@ $<
diff -r 2b9af1f237db -r e4fec43592e4 doc-src/Codegen/Thy/Adaption.thy
--- a/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 21:25:42 2009 +0200
+++ b/doc-src/Codegen/Thy/Adaption.thy	Tue Apr 07 21:25:54 2009 +0200
@@ -59,7 +59,7 @@
   supposed to be:
 
   \begin{figure}[here]
-    \includegraphics{Thy/pictures/adaption}
+    \includegraphics{adaption}
     \caption{The adaption principle}
     \label{fig:adaption}
   \end{figure}
diff -r 2b9af1f237db -r e4fec43592e4 doc-src/Codegen/Thy/Introduction.thy
--- a/doc-src/Codegen/Thy/Introduction.thy	Tue Apr 07 21:25:42 2009 +0200
+++ b/doc-src/Codegen/Thy/Introduction.thy	Tue Apr 07 21:25:54 2009 +0200
@@ -121,7 +121,7 @@
   how it works.
 
   \begin{figure}[h]
-    \includegraphics{Thy/pictures/architecture}
+    \includegraphics{architecture}
     \caption{Code generator architecture}
     \label{fig:arch}
   \end{figure}
diff -r 2b9af1f237db -r e4fec43592e4 doc-src/Codegen/Thy/document/Adaption.tex
--- a/doc-src/Codegen/Thy/document/Adaption.tex	Tue Apr 07 21:25:42 2009 +0200
+++ b/doc-src/Codegen/Thy/document/Adaption.tex	Tue Apr 07 21:25:54 2009 +0200
@@ -96,7 +96,7 @@
   supposed to be:
 
   \begin{figure}[here]
-    \includegraphics{Thy/pictures/adaption}
+    \includegraphics{adaption}
     \caption{The adaption principle}
     \label{fig:adaption}
   \end{figure}
diff -r 2b9af1f237db -r e4fec43592e4 doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Tue Apr 07 21:25:42 2009 +0200
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Apr 07 21:25:54 2009 +0200
@@ -284,7 +284,7 @@
   how it works.
 
   \begin{figure}[h]
-    \includegraphics{Thy/pictures/architecture}
+    \includegraphics{architecture}
     \caption{Code generator architecture}
     \label{fig:arch}
   \end{figure}