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
 }