52da5da try fixing sphinx-build --version detection in configure

Authored and Committed by petersen 5 years ago
    try fixing sphinx-build --version detection in configure
    
    https://github.com/ghc/ghc/pull/143
    
        
file modified
+11 -1