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