7ed9d6 Adjust checking if a project activated the documentation option

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Adjust checking if a project activated the documentation option
    
        
file modified
+1 -1