Patchwork [wwwdocs] Fix PR 50642

login
register
mail settings
Submitter Shakthi Kannan
Date April 30, 2013, 9:30 a.m.
Message ID <1157238463.4081289.1367314214484.JavaMail.root@redhat.com>
Download mbox | patch
Permalink /patch/240590/
State New
Headers show

Comments

Shakthi Kannan - April 30, 2013, 9:30 a.m.
Hi,

The following patch overrides the default @smallexample attributes defined by makeinfo. It includes a html.css file where the smallexample attributes are defined to use a medium font size with a light blue background for readability and clarity.

2013-04-30 Shakthi Kannan <skannan@redhat.com>

    PR wwwdocs/50642
    * Makefile.in: Use --css-include with makeinfo.
    * gcc/doc/include/html.css: New CSS file for HTML docs.

---
 Makefile.in              | 2 +-
 gcc/doc/include/html.css | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 gcc/doc/include/html.css

\ No newline at end of file
Joseph S. Myers - April 30, 2013, 1:59 p.m.
On Tue, 30 Apr 2013, Shakthi Kannan wrote:

> The following patch overrides the default @smallexample attributes 
> defined by makeinfo. It includes a html.css file where the smallexample 
> attributes are defined to use a medium font size with a light blue 
> background for readability and clarity.
> 
> 2013-04-30 Shakthi Kannan <skannan@redhat.com>
> 
>     PR wwwdocs/50642
>     * Makefile.in: Use --css-include with makeinfo.

onlinedocs copies of manuals are generated by 
maintainer-scripts/update_web_docs_svn, which doesn't use any makefiles.
Shakthi Kannan - April 30, 2013, 2:54 p.m.
Hi,

----- Original Message -----
| From: "Joseph S. Myers" <joseph@codesourcery.com>
|
| onlinedocs copies of manuals are generated by 
| maintainer-scripts/update_web_docs_svn, which doesn't use any makefiles.
\--

Could you please list the pre-requisite steps needed to run the above?

I had used "configure; make; make html; make install-html" to test the patch and the CSS.

Thanks for your reply.

SK
Joseph S. Myers - April 30, 2013, 4:32 p.m.
On Tue, 30 Apr 2013, Shakthi Kannan wrote:

> Hi,
> 
> ----- Original Message -----
> | From: "Joseph S. Myers" <joseph@codesourcery.com>
> |
> | onlinedocs copies of manuals are generated by 
> | maintainer-scripts/update_web_docs_svn, which doesn't use any makefiles.
> \--
> 
> Could you please list the pre-requisite steps needed to run the above?

The script is only designed to be run from the gccadmin account on 
gcc.gnu.org.

Patch

diff --git a/Makefile.in b/Makefile.in
index bfbaf03..ea70c0d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -381,7 +381,7 @@  RUNTEST = @RUNTEST@
 # sub-makes.  It lets flags be given on the command line while still
 # using the makeinfo from the object tree.
 # (Default to avoid splitting info files by setting the threshold high.)
-MAKEINFOFLAGS = --split-size=5000000
+MAKEINFOFLAGS = --split-size=5000000 --css-include=$$r/$(HOST_SUBDIR)/../gcc/doc/include/html.css
 
 # ---------------------------------------------
 # Programs producing files for the HOST machine
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 
+}