On Sun, 2011-04-10 at 00:24 -0400, Shaun McCance wrote:
>
> > Yes, it's cleaner. Would this be done with all the pages that have
> a
> > heading in index.page?
>
> Not necessary.
^^^^^^^^^I meant to say "not necessarily". Sorry. -- Shaun _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
