http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642
--- Comment #10 from Shakthi Kannan <skannan at redhat dot com> 2013-05-06 10:33:33 UTC --- Created attachment 30037 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30037 Normal font for smallexample using update_web_docs_svn script As mentioned in the gcc-patches list, the online docs are updated using maintainer-scripts/update_web_docs_svn script. The attached patch runs makeinfo from this script with html.css to override @smallexample attributes.
