Index: scripts/distinst
--- scripts/distinst.orig	2007-07-04 11:38:39 +0200
+++ scripts/distinst	2007-09-05 19:36:26 +0200
@@ -692,7 +692,7 @@
          instarco=true
          ;;
       common|distcommon) 
-         instdrmaa=true
+         instdrmaa=false
          instcommon=true
          inst3rdparty=true
          instckpt=true
@@ -701,14 +701,14 @@
          instiscript=true
          instmpi=true
          instpvm=true
-         instqmon=true
+         instqmon=false
          instutiltree=true
          case $prog in
          distcommon)
             instman=true
             instdoc=true
             insttxtdoc=true
-            instjavadoc=true
+            instjavadoc=false
             ;;
          esac    
          ;;
