8cf968c fix handling of devel docdir for non-shared builds

Authored and Committed by petersen 12 years ago
    fix handling of devel docdir for non-shared builds
    
    - simplify ghc_bootstrap
    
        
file modified
+18 -19
file modified
+5 -1