diff options
author | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
---|---|---|
committer | wlemb <wlemb> | 2003-01-07 14:33:59 +0000 |
commit | 6a6692c458f9d417c14f1715a9f3d848ff26b27c (patch) | |
tree | 2932180af263b44522b29c77f13ee9bd612fb8fd /font/devlj4 | |
parent | d16dfe57b0fed9b9fa9409495410569e1469049d (diff) | |
download | groff-6a6692c458f9d417c14f1715a9f3d848ff26b27c.tar.gz |
`is' is now a text symbol (only relevant for dvi). The math variant
can be accessed with `integral'.
* font/devX*/S: Regenerated.
* font/devdvi/generate/texex.map: Remove `is'.
* font/devdvi/EX: Updated.
* font/devhtml/R.proto, font/devutf8/R.proto: Add `integral'.
* font/devlj4/generate/special.map: Ditto.
* font/devlj4/S: Regenerated.
* font/devps/generate/textmap: Add `integral'.
* font/devps/S: Regenerated.
* tmac/dvi.tmac: Define `is'.
* src/roff/troff/glyphuni.cc (glyph_to_unicode_list): Add `integral'.
* src/preproc/tbl/main.cc (process_format): Fix error message.
Diffstat (limited to 'font/devlj4')
-rw-r--r-- | font/devlj4/S | 1 | ||||
-rw-r--r-- | font/devlj4/generate/special.map | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/font/devlj4/S b/font/devlj4/S index b1691d85..d2bc46c4 100644 --- a/font/devlj4/S +++ b/font/devlj4/S @@ -142,6 +142,7 @@ AN 26346,15240 0 69061 OR 26346,15240 0 69062 ci 26346,18900 2 69069 is 26346,20268,5997 3 69077 +integral " /_ 26346,19365 2 69079 es 26346,18465,435 2 69080 Ah 13173,13980 0 69081 diff --git a/font/devlj4/generate/special.map b/font/devlj4/generate/special.map index 99cba188..7fae6868 100644 --- a/font/devlj4/generate/special.map +++ b/font/devlj4/generate/special.map @@ -116,6 +116,7 @@ 581 OR 584 ci 587 is +587 integral 589 /_ 590 es 591 Ah |