texinfo documentation for compiler utilities