diff options
author | wlemb <wlemb> | 2002-08-07 15:01:32 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2002-08-07 15:01:32 +0000 |
commit | 3ff343630d116ad34b71ae08d91ab9689f4b433b (patch) | |
tree | 52a299e65dbebcd7015d334cc45161489ef95741 /font | |
parent | 6c11b7718f85c3c1f4417f0c176a971de2af8e4d (diff) | |
download | groff-3ff343630d116ad34b71ae08d91ab9689f4b433b.tar.gz |
Add fonts `CI', `CB', and `CBI' to grohtml which have been omitted
inadvertently.
* src/devices/grohtml/post-html.cc (html_printer::end_font,
html_printer::start_font): Handle them.
* src/devices/grohtml/html-text.cc (html_text::do_italic): Don't
reset bold and tt.
(html_text::do_bold): Don't reset italic and tt.
(html_text::do_tt, html_text::do_pre): Don't reset bold and italic.
* font/devhtml/DESC.proto: Add those fonts.
* font/devhtml/Makefile.sub (PROTOFONTS): Updated.
Diffstat (limited to 'font')
-rw-r--r-- | font/devhtml/DESC.proto | 2 | ||||
-rw-r--r-- | font/devhtml/Makefile.sub | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/font/devhtml/DESC.proto b/font/devhtml/DESC.proto index e245441c..c3a53a2a 100644 --- a/font/devhtml/DESC.proto +++ b/font/devhtml/DESC.proto @@ -3,7 +3,7 @@ hor 24 vert 40 unitwidth 10 sizes 6 8 10 12 14 16 18 0 -fonts 6 R I B BI C S +fonts 9 R I B BI CR CI CB CBI S tcommand html postpro post-grohtml diff --git a/font/devhtml/Makefile.sub b/font/devhtml/Makefile.sub index df56914e..8afe0376 100644 --- a/font/devhtml/Makefile.sub +++ b/font/devhtml/Makefile.sub @@ -1,5 +1,5 @@ DEV=html -PROTOFONTS=R I B BI CR +PROTOFONTS=R I B BI CR CI CB CBI FONTS=$(PROTOFONTS) S DEVFILES=$(FONTS) DESC CLEANADD=$(FONTS) DESC |