763072b reenable with_docs on arm

Authored and Committed by fche 12 years ago
    reenable with_docs on arm
    
        
file modified
+4 -5