\input texinfo
@finalout
@include libc.texinfo