[Bug web/50642] onlinedocs formated text too small to read

[skannan at redhat dot com]

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.