# HG changeset patch
# User wenzelm
# Date 1216322666 -7200
# Node ID cb26fe3ea037a969d42f80221a2bfa067bd4ae4a
# Parent  70973f73f09d8e939b2bd68c5c0ed3ecce0f5029
tuned build order;

diff -r 70973f73f09d -r cb26fe3ea037 Admin/build
--- a/Admin/build	Thu Jul 17 21:23:32 2008 +0200
+++ b/Admin/build	Thu Jul 17 21:24:26 2008 +0200
@@ -63,8 +63,8 @@
 
 function build_all ()
 {
+  build_doc
   build_browser
-  build_doc
   build_jars
 }