new file mode 100644
@@ -0,0 +1,6 @@
+pre.smallexample {
+ font-family: sans-serif;
+ font-size: medium;
+ padding: 4px;
+ background: #f2f2f9
+}
\ No newline at end of file
@@ -36,6 +36,8 @@ WWWBASE=/www/gcc/htdocs
WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted
WWWPREPROCESS='/www/gcc/bin/preprocess -r'
+HTMLCSS=gcc/doc/include/html.css
+
# Process options -rrelease and -ddirectory
RELEASE=""
SUBDIR=""
@@ -164,7 +166,7 @@ for file in $MANUALS; do
if [ "$file" = "gnat_ugn_unw" ]; then
includes="$includes -I gcc/gcc/ada"
fi
- makeinfo --html $includes -o ${file} ${filename}
+ makeinfo --css-include=../$HTMLCSS --html $includes -o ${file} ${filename}
tar cf ${file}-html.tar ${file}/*.html
texi2dvi $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
texi2pdf $includes -o ${file}.pdf ${filename} </dev/null
Hi, Is the following patch okay for trunk? SK ----- Original Message ----- From: "Shakthi Kannan" <skannan@redhat.com> To: "Joseph S. Myers" <joseph@codesourcery.com> Cc: gcc-patches@gcc.gnu.org Sent: Monday, May 6, 2013 4:00:06 PM Subject: Re: [PATCH, wwwdocs] Fix PR 50642 Hi, I am re-submitting the patch to use html.css from the update_web_docs_svn script present in the maintainer-scripts folder. The smallexample attributes are defined to use a medium font size with a light blue background for readability and clarity. 2013-05-06 Shakthi Kannan <skannan@redhat.com> PR wwwdocs/50642 * maintainer-scripts/update_web_docs_svn: Use --css-include with makeinfo. * gcc/doc/include/html.css: New CSS file for HTML docs. --- gcc/doc/include/html.css | 6 ++++++ maintainer-scripts/update_web_docs_svn | 4 +++- 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 gcc/doc/include/html.css