This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH, wwwdocs] Fix PR 50642
- From: Shakthi Kannan <skannan at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Tue, 30 Apr 2013 05:30:14 -0400 (EDT)
- Subject: [PATCH, wwwdocs] Fix PR 50642
- Reply-to: Shakthi Kannan <skannan at redhat dot com>
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
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
+}
\ No newline at end of file
--
1.7.11.7