# HG changeset patch
# User wenzelm
# Date 1228335346 -3600
# Node ID 64754369cee36e0003700d9f3b896ad0fc6c9407
# Parent  0518f50e3b920fc34a54eae80f9cbaaafc33d29c
eliminated traces of old Distribution directory;

diff -r 0518f50e3b92 -r 64754369cee3 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Dec 03 21:02:20 2008 +0100
+++ b/Admin/CHECKLIST	Wed Dec 03 21:15:46 2008 +0100
@@ -16,18 +16,17 @@
 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
 
 - maintain Docs:
-    Doc/Dirs
-    Distribution/doc/Contents
+    doc-src/Dirs
+    doc/Contents
 
 - maintain Logics:
     Admin/makedist
-    Distribution/build
-    Distribution/lib/Tools/makeall
-    Distribution/lib/html/index.html
-    Doc/Logics/intro.tex
-    Doc/Logics/logics.tex
+    build
+    lib/Tools/makeall
+    lib/html/index.html
+    doc-src/Logics/intro.tex
+    doc-src/Logics/logics.tex
 
 - after release: 
     commit new ~isabelle/website/include/documentationdist.include.html to website SVN
 
-$Id$
diff -r 0518f50e3b92 -r 64754369cee3 Admin/build
--- a/Admin/build	Wed Dec 03 21:02:20 2008 +0100
+++ b/Admin/build	Wed Dec 03 21:15:46 2008 +0100
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
-#
 # Administrative build for Isabelle source distribution.
 
 ## global environment
@@ -14,19 +12,8 @@
 
 ## directory layout
 
-ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
-
-if [ -d "$ISABELLE_DIR/Distribution" ]; then
-  ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isabelle"
-  ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib"
-  ISABELLE_SRC="$ISABELLE_DIR"
-  ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc"
-else
-  ISABELLE_TOOL="$ISABELLE_DIR/bin/isabelle"
-  ISABELLE_LIB="$ISABELLE_DIR/lib"
-  ISABELLE_SRC="$ISABELLE_DIR/src"
-  ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src"
-fi
+ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
+ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
 
 
 ## diagnostics
@@ -81,7 +68,7 @@
   echo "### Building graph browser ..."
   echo "###"
 
-  cd "$ISABELLE_LIB/browser"
+  cd "$ISABELLE_HOME/lib/browser"
   make clean all || fail "Failed to build graph browser!"
 }
 
@@ -92,7 +79,7 @@
   echo "### Building documentation ..."
   echo "###"
 
-  cd "$ISABELLE_DOC_SRC"
+  cd "$ISABELLE_HOME/doc-src"
   for DOC in $(cat Dirs)
   do
     pushd "$DOC" >/dev/null
@@ -111,12 +98,12 @@
 
   type -p scalac >/dev/null || fail "Scala compiler unavailable"
 
-  pushd "$ISABELLE_SRC/Pure" >/dev/null
+  pushd "$ISABELLE_HOME/src/Pure" >/dev/null
   "$ISABELLE_TOOL" make jar || fail "Failed to build Pure.jar!"
   popd >/dev/null
 
   if [ -d "$HOME/lib/jedit/current" ]; then
-    pushd "$ISABELLE_LIB/jedit/plugin" >/dev/null
+    pushd "$ISABELLE_HOME/lib/jedit/plugin" >/dev/null
     ./mk
     [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
     popd >/dev/null