Eli Zaretskii wrote:
> 
> > Date: Wed, 26 Dec 2001 11:18:08 -0800
> > From: Michael Snyder <msnyder@cygnus.com>
> >
> > I don't know how to comment out a section of a texinfo file.
> 
> Put "@ignore..@end ignore" around the part you want to comment out.

Ah, OK -- how's this?