Don't @include summary.texi. It went to header.texi.
authorroland <roland>
Mon, 17 May 1993 20:46:14 +0000 (20:46 +0000)
committerroland <roland>
Mon, 17 May 1993 20:46:14 +0000 (20:46 +0000)
commitc074f57488c660e6eb9d3c1bda8f7057774722a3
treeb3c5fa2063d289e046df364382b5e13f80ab53e4
parente3aaac7bc0fd69ce8e7e251329eaa1b781c87c1e
Don't @include summary.texi.  It went to header.texi.
manual/libc.texinfo