Message ID | 1157238463.4081289.1367314214484.JavaMail.root@redhat.com |
---|---|
State | New |
Headers | show |
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.
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
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.
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 +}