Get rid of excess blank lines inside the @table.
authorrms <rms>
Mon, 10 Feb 1992 09:48:58 +0000 (09:48 +0000)
committerrms <rms>
Mon, 10 Feb 1992 09:48:58 +0000 (09:48 +0000)
manual/header.texi

index a9e66aa..2a17e1b 100644 (file)
@@ -8,10 +8,7 @@ you where in the manual you can find more information about how to use
 it.
 
 @table @code
-
 @comment summary.texinfo is generated from the other texinfo files.
 @comment See the Makefile and summary.awk for the details.
-
 @include summary.texinfo
-
 @end table