Admin/build
changeset 48972 196520d51afd
parent 48691 335d60e1e328
child 49173 fa01a202399c
     1.1 --- a/Admin/build	Tue Aug 28 16:43:47 2012 +0200
     1.2 +++ b/Admin/build	Tue Aug 28 17:49:02 2012 +0200
     1.3 @@ -25,7 +25,6 @@
     1.4  
     1.5      all             all modules below
     1.6      browser         graph browser (requires jdk)
     1.7 -    doc             documentation (requires latex)
     1.8      jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.9      jars_test       test separate build of jars
    1.10      jars_fresh      fresh build of jars
    1.11 @@ -52,7 +51,6 @@
    1.12  
    1.13  function build_all ()
    1.14  {
    1.15 -  build_doc
    1.16    build_browser
    1.17    build_jars
    1.18  }
    1.19 @@ -66,23 +64,6 @@
    1.20  }
    1.21  
    1.22  
    1.23 -function build_doc ()
    1.24 -{
    1.25 -  echo "###"
    1.26 -  echo "### Building documentation ..."
    1.27 -  echo "###"
    1.28 -
    1.29 -  cd "$ISABELLE_HOME/doc-src"
    1.30 -  for DOC in $(cat Dirs)
    1.31 -  do
    1.32 -    pushd "$DOC" >/dev/null
    1.33 -    make clean dvi || fail "DVI document for $DOC failed!"
    1.34 -    make clean pdf || fail "PDF document for $DOC failed!"
    1.35 -    popd >/dev/null
    1.36 -  done
    1.37 -}
    1.38 -
    1.39 -
    1.40  function build_jars ()
    1.41  {
    1.42    pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    1.43 @@ -98,7 +79,6 @@
    1.44    case $MODULE in
    1.45      all) build_all;;
    1.46      browser) build_browser;;
    1.47 -    doc) build_doc;;
    1.48      jars) build_jars;;
    1.49      jars_fresh) build_jars -f;;
    1.50      jars_test) build_jars -t;;