tuned build order;
authorwenzelm
Thu Jul 17 21:24:26 2008 +0200 (2008-07-17)
changeset 27649cb26fe3ea037
parent 27648 70973f73f09d
child 27650 7a4baad05495
tuned build order;
Admin/build
     1.1 --- a/Admin/build	Thu Jul 17 21:23:32 2008 +0200
     1.2 +++ b/Admin/build	Thu Jul 17 21:24:26 2008 +0200
     1.3 @@ -63,8 +63,8 @@
     1.4  
     1.5  function build_all ()
     1.6  {
     1.7 +  build_doc
     1.8    build_browser
     1.9 -  build_doc
    1.10    build_jars
    1.11  }
    1.12