Re: [Bug-gnupress] To Do List

[Simon Law]

On Thu, Apr 10, 2003 at 08:27:18AM +0100, Ciaran O'Riordan wrote:
> >     In CVS Texinfo, @smallexample _always_ uses the small font.
> [...]
> > If you check in
> > gnupress/texpress/gnupress.tex, you will see that I have overridden
> > @example to _always_ behave like @smallexample.
> 
> has this hack be applied to the other @small____ tags?

        Yes.  Check out gnupress/texpress/gnupress.tex for actual code.

> > > I cvs'd a fresh gcc-3_3-branc gcc/gcc/doc and changed all @example's
> > > to @smallexample.
> > 
> >     I see.  I'm not sure how well that will work, since all the
> > examples will be super small when printed on 8.5 x 11 inch.
> 
> @smallexample has no effect on 8.5 x 11 inch books, it's ignored
> unless @smallbook is given.

        Not in CVS Texinfo.  However, I think we may change this
behaviour again.

> > > There are also 7 @display
> > > tags to be converted to @smalldisplay, I'll add this to the
> > > propper version.
> > 
> >     Hold off on all that hard work for a bit.  You should probably
> > mention this on the bug-texinfo list.> 
> 
> It seems you have this problem solved, I'll hold off indefinitely.

        Er, only "solved".  We'll probably want to ask the GCC people to
stick to one style for consistency sake.  To assist them in doing that,
it would probably be best to send them a patch.  I just think it's best
to hold off until we decide what Texinfo's behaviour would be.

Simon