1.1 --- a/Admin/makedist Fri Feb 27 11:43:24 2009 +0100 1.2 +++ b/Admin/makedist Fri Feb 27 11:46:03 2009 +0100 1.3 @@ -156,7 +156,7 @@ 1.4 rm doc/codegen_process.pdf 1.5 rm -rf doc-src 1.6 1.7 -mkdir contrib 1.8 +mkdir -p contrib 1.9 1.10 cp doc/isabelle*.eps lib/logo 1.11