(BEGIN): Print comments saying summary.texinfo is a generated file.
authorroland <roland>
Thu, 12 Nov 1992 21:12:46 +0000 (21:12 +0000)
committerroland <roland>
Thu, 12 Nov 1992 21:12:46 +0000 (21:12 +0000)
commitc75c40cb045b6200b07a7fb642bbcd698b793186
tree9c35669224b2ba539188f030fbaadda930c1ac4a
parented69bbb76f17756029eef33c86c8cb0091e1399c
(BEGIN): Print comments saying summary.texinfo is a generated file.
manual/summary.awk