summaryrefslogtreecommitdiff
path: root/font/devX75-12
diff options
context:
space:
mode:
authorWerner LEMBERG <wl@gnu.org>2003-01-07 14:34:05 +0000
committerWerner LEMBERG <wl@gnu.org>2003-01-07 14:34:05 +0000
commit92bceeb91d7606b32aa8db4cd9b8ffdec9dda653 (patch)
tree9a026bae108f82344c624490caf793cd6c87da9d /font/devX75-12
parentac0a1721f855949dbc1c3db1991b2d5781bfccfe (diff)
downloadgroff-git-92bceeb91d7606b32aa8db4cd9b8ffdec9dda653.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/devX75-12')
-rw-r--r--font/devX75-12/S1
1 files changed, 1 insertions, 0 deletions
diff --git a/font/devX75-12/S b/font/devX75-12/S
index 761b46e58..198b4bb86 100644
--- a/font/devX75-12/S
+++ b/font/devX75-12/S
@@ -200,6 +200,7 @@ braceex "
bv "
ra 4,10,2 0 0361
is 4,12,3 0 0362
+integral "
--- 9,12,4 0 0363
--- 9,12,4 0 0364
--- 9,12,3 0 0365