From 6a6692c458f9d417c14f1715a9f3d848ff26b27c Mon Sep 17 00:00:00 2001
From: wlemb <wlemb>
Date: Tue, 7 Jan 2003 14:33:59 +0000
Subject: `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.
---
 font/devps/S                | 1 +
 font/devps/generate/textmap | 1 +
 2 files changed, 2 insertions(+)

(limited to 'font/devps')

diff --git a/font/devps/S b/font/devps/S
index 52d7fd67..a2416b8f 100644
--- a/font/devps/S
+++ b/font/devps/S
@@ -206,6 +206,7 @@ barex	"
 bv	"
 ra	329,746,198,0,-21	3	0361	-- angleright
 is	274,916,107,67,52,-10	3	0362	-- integral
+integral	"
 ---	686,921,83,29,-332	3	0363	-- integraltp
 ---	686,975,88,0,-332	3	0364	-- integralex
 ---	686,921,81,0,-39	3	0365	-- integralbt
diff --git a/font/devps/generate/textmap b/font/devps/generate/textmap
index a68fc8eb..f69a9a05 100644
--- a/font/devps/generate/textmap
+++ b/font/devps/generate/textmap
@@ -210,6 +210,7 @@ igrave `i
 ij ij
 infinity if
 integral is
+integral integral
 intersection ca
 less <
 lessequal <=
-- 
cgit v1.2.1