1.1 --- a/Admin/mira.py	Thu Jul 05 13:35:46 2012 +0200
     1.2 +++ b/Admin/mira.py	Thu Jul 05 14:13:14 2012 +0200
     1.3 @@ -313,7 +313,7 @@
     1.4      """Build of distribution"""
     1.5      ## FIXME This is rudimentary; study Admin/CHECKLIST to complete this configuration accordingly
     1.6      isabelle_home = paths[0]
     1.7 -    (return_code, log) = env.run_process(path.join(isabelle_home, 'Admin', 'makedist'),
     1.8 +    (return_code, log) = env.run_process(path.join(isabelle_home, 'Admin', 'Release', 'makedist'),
     1.9        REPOS = repositories.get(Isabelle).local_path, DISTPREFIX = os.getcwd())
    1.10      return (return_code == 0, '', ## FIXME might add summary here
    1.11        {}, {'log': log}, None) ## FIXME might add proper result here