# HG changeset patch
# User wenzelm
# Date 1239138500 -7200
# Node ID 59ce24e0abdad481234dd71f3738b78666694ddb
# Parent  e4fec43592e461de0177e28af0fae301fa169be3
updated doc setup;

diff -r e4fec43592e4 -r 59ce24e0abda Admin/makedist
--- a/Admin/makedist	Tue Apr 07 21:25:54 2009 +0200
+++ b/Admin/makedist	Tue Apr 07 23:08:20 2009 +0200
@@ -141,7 +141,7 @@
 MOVE=$(find doc-src \( -type f -a -not -type l -a -not -name isabelle_isar.pdf -a -not -name pghead.pdf -a \( -name \*.dvi -o -name \*.eps -o -name \*.ps -o -name \*.pdf \) -a -print \) | grep -v 'gfx/.*pdf')
 mv -f $MOVE doc
 rm doc/Isa-logics.eps
-rm doc/codegen_process.pdf
+rm doc/adaption.dvi doc/adaption.pdf doc/architecture.dvi doc/architecture.pdf
 rm -rf doc-src
 
 mkdir -p contrib