> Date: Mon, 18 Mar 2002 12:31:16 -0500 > From: Andrew Cagney <ac131313@cygnus.com> > > Mind if I try replacing all occurances of @example with @smallexample? Please go ahead. Thanks. I wonder whether we should add a comment in the manual saying that only @smallexample should be used.