Include summary.texi instead of summary.texinfo.
authorroland <roland>
Mon, 17 May 1993 20:47:02 +0000 (20:47 +0000)
committerroland <roland>
Mon, 17 May 1993 20:47:02 +0000 (20:47 +0000)
commitd292d737f6b2b2c8d74f785c552499f3382b3e3b
tree5cd62115f5827b492861cb7756568ed1dc6605af
parentc074f57488c660e6eb9d3c1bda8f7057774722a3
Include summary.texi instead of summary.texinfo.
manual/header.texi