-
Alessandro Rubini authored
Again, suboptimal formatting is now an error in new makeinfo. Worse, this looks correct, but the complain is there anyways. Hack a fix, killing a newline that make the parser report the error. Hope we are done: nobody outside gnu is fool enough to use makeinfo. Me excluded, obviously (see wr-switch-sw/doc). Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
f986c7cb