e54b599 Put the original configure file back if we made no changes. This

Authored and Committed by law 4 years ago
1 file changed. 4 lines added. 0 lines removed.
    Put the original configure file back if we made no changes.  This
    avoids changing timestamps and spurious documentation rebuilds.
    Dump changes made to stdout
    
        
file modified
+4 -0