Admin/makedist
changeset 30884 59ce24e0abda
parent 30870 61f2131554cd
child 30885 a3cfe0e27deb
     1.1 --- a/Admin/makedist	Tue Apr 07 21:25:54 2009 +0200
     1.2 +++ b/Admin/makedist	Tue Apr 07 23:08:20 2009 +0200
     1.3 @@ -141,7 +141,7 @@
     1.4  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')
     1.5  mv -f $MOVE doc
     1.6  rm doc/Isa-logics.eps
     1.7 -rm doc/codegen_process.pdf
     1.8 +rm doc/adaption.dvi doc/adaption.pdf doc/architecture.dvi doc/architecture.pdf
     1.9  rm -rf doc-src
    1.10  
    1.11  mkdir -p contrib