*ping* Re: [PATCH, wwwdocs] Fix PR 50642

Submitted by Shakthi Kannan on May 22, 2013, 6:30 a.m.

Details

Message ID 1546625314.5638611.1369204207979.JavaMail.root@redhat.com
State New
Headers show

Commit Message

Shakthi Kannan May 22, 2013, 6:30 a.m. 
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

Patch hide | download patch | download mbox 

diff --git a/gcc/doc/include/html.css b/gcc/doc/include/html.css
new file mode 100644
index 0000000..6cc0284
--- /dev/null
+++ b/gcc/doc/include/html.css
@@ -0,0 +1,6 @@ 
+pre.smallexample { 
+    font-family: sans-serif; 
+    font-size: medium; 
+    padding: 4px; 
+    background: #f2f2f9 
+}
\ No newline at end of file
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn
index cfc33c4..2cea078 100755
--- a/maintainer-scripts/update_web_docs_svn
+++ b/maintainer-scripts/update_web_docs_svn
@@ -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