0915e0
Make readelf flush stdout before emitting an error or warning message. Fix problems building docs using texinfo version 5. Resolves: #1005182